Mathematical Logic and Computability (International Series in Pure & Applied Mathematics) - Hardcover

Buch 7 von 11: International Series in Pure & Applied Mathematics

Keisler, H. Jerome; Robbin, Joel

 
9780070339392: Mathematical Logic and Computability (International Series in Pure & Applied Mathematics)

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

Intended for a one-semester advanced undergraduate course in mathematical logic, this book requires some prior knowledge of mathematical proof. The authors emphasize proof theory of computation rather than set theory. A disk, featuring numerous examples, is also available (ISBN: 0-07-840027-9).

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

Weitere beliebte Ausgaben desselben Titels