Items related to Foundations of Mathematical Logic (Dover Books on MaTHEMA...

Foundations of Mathematical Logic (Dover Books on MaTHEMA 1.4tics) - Softcover

Book 21 of 302: Dover Books on Mathematics

Curry, Haskell B.; Pfaffenberger, W E

 
9780486634623: Foundations of Mathematical Logic (Dover Books on MaTHEMA 1.4tics)
Softcover
ISBN 10: 0486634620 ISBN 13: 9780486634623
Publisher: Dover Publications Inc, 2003

Synopsis

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.

"synopsis" may belong to another edition of this title.

About the Author

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.

"About this title" may belong to another edition of this title.

Publisher
Dover Publications Inc
Publication date
2003
Language
English
ISBN 10 
0486634620
ISBN 13 
9780486634623
Binding
Paperback
Edition number
2
Number of pages
416