Foundations of Mathematical Logic (Dover Books on Mathematics) - Softcover

Curry, Haskell B.

 
9780486634623: Foundations of Mathematical Logic (Dover Books on Mathematics)
Softcover
ISBN 10: 0486634620 ISBN 13: 9780486634623
Verlag: Dover Publications Inc., 1977

Inhaltsangabe

Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods ― including algorithms and epitheory ― and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.

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

Über die Autorin bzw. den Autor

Haskell B. Curry was Evan Pugh Research Professor Emeritus at Pennsylvania State University. He was also a member of the Institute for Advanced Study, Princeton; a Director of the Institute for Foundational Research at the University of Amsterdam; and President of the Association for Symbolic Logic.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Dover Publications Inc.
Erscheinungsdatum
1977
Sprache
Englisch
ISBN 10 
0486634620
ISBN 13 
9780486634623
Einband
Tapa blanda
Auflage
2
Anzahl der Seiten
416
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Soc. Agr. La Raia Ss
http://www.la-raia.it

Strada Monterotondo, 79
Novi Ligure
15067
Italien