ENGLISH

Foundations of mathematical logic

By Haskell B. Curry

Book information

Publisher
Dover Publications
Year
1977
ISBN
0486634620, 9780486634623
LCC
QA9 .C85 1977
Open Library ID
OL4907601M
Language
english
Format
DJVU
Filesize
3 MB (3172135 bytes)
Edition
2 Revised
Pages
417\417
Library
Kolxo3
DPI
300
Scanned
no
Time added
2009-07-20 03:45:11

Description

Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.

Similar books