Computability and Logic - Softcover

Boolos, George; Jeffrey, Richard C.

 
9780521389235: Computability and Logic

Inhaltsangabe

This third edition of Computability and Logic has been corrected and contains thoroughly revised versions of the chapters on Ramsey and probability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences and on the nonexistence of nonstandard recursive models of Z.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels