Foundations of Mathematical Logic

PDF EBook by Haskell B. Curry

EBook Description

Written by a pioneer of mathematical logic, this comprehensive graduate- PDFlevel text explores the constructive theory of first-order predicate calculus. Foundations of Mathematical Logic PDF EBook 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. Like this book? Read online this: Lady or the Tiger? And Other Logic Puzzles Including a Mathematical Novel That Features Gödel's Great Discovery, Mathematical Foundations of Computer Science 1997.

Foundations of Mathematical Logic PDF download

Select filetype to download Foundations of Mathematical Logic: