Foundations of Mathematical Logic (Dover Books on Mathematics) - Tapa blanda

Curry, Haskell B.

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

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del 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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Dover Publications Inc.
Año de publicación
1977
Idioma
Inglés
ISBN 10 
0486634620
ISBN 13 
9780486634623
Encuadernación
Tapa blanda
Número de edición
2
Número de páginas
416
Contacto del fabricante
no disponible
Persona responsable
Soc. Agr. La Raia Ss
http://www.la-raia.it

Strada Monterotondo, 79
Novi Ligure
15067
Italia