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

 
9780071144261: 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 text requires some prior knowledge of mathematical proof. The authors emphasize proof theory of computation rather than set theory. A disk, featuring examples, is also available.

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

Weitere beliebte Ausgaben desselben Titels