Foundations of Mathematical Logic (Dover Books on Mathematics)

Haskell B. Curry

ISBN 10: 0486634620 / ISBN 13: 9780486634623

Verlag: Dover Publications, 2010

Beschreibung

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!

Bestandsnummer des Verkäufers S_433664650

Bibliografische Details

• Titel: Foundations of Mathematical Logic (Dover Books on Mathematics)
• Verlag: Dover Publications
• Erscheinungsjahr: 2010
• Sprache: Englisch
• ISBN-10: 0486634620
• ISBN-13: 9780486634623
• Einband: Paperback
• Auflage: 2. Auflage
• Zustand: Good

Über diesen Titel

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.

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