9780070339392: Mathematical Logic and Computability

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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).

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9780079129314: Mathematical Logic and Computability

Edition présentée

ISBN 10 :  0079129315 ISBN 13 :  9780079129314
Editeur : McGraw-Hill Inc.,US, 1996
Couverture rigide