ENGLISH

Foundations of Mathematical Logic

By Haskell B. Curry

Book information

Publisher
Dover Publications
Year
2010
ISBN
0486634620, 9780486634623
Language
english
Format
PDF
Filesize
8 MB (8911109 bytes)
Series
Dover Books on Mathematics
Edition
2 Revised
Pages
420\420
DPI
600
Orientation
portrait
Paginated
yes
Scanned
yes
Time added
2014-03-23 21:27:55

Description

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, explains elementary facts about lattices and similar algebraic systems, and more. 1963 edition.

Similar books