𝔖 Scriptorium
✦   LIBER   ✦
📁

Foundations of mathematical logic

✍ Scribed by Haskell B. Curry

Publisher
Dover Publications
Year
1977
Tongue
English
Leaves
417
Edition
2 Revised
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Foundations of Mathematical Logic
📁 Foundations of Mathematical Logic
✍ Haskell B. Curry 📂 Library 📅 2010 🏛 Dover Publications 🌐 English

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 fa

Foundations of Mathematical Logic
📁 Foundations of Mathematical Logic
✍ Haskell B. Curry 📂 Library 📅 2010 🏛 Dover Publications 🌐 English

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 fa

Foundations of Mathematical Logic
📁 Foundations of Mathematical Logic
✍ Haskell B. Curry 📂 Library 📅 2010 🏛 Dover Publications 🌐 English

<div>This book is a thoroughly documented and comprehensive account of the constructive theory of the first-order predicate calculus. This is a calculus that is central to modern mathematical logic and important for mathematicians, philosophers, and scientists whose work impinges upon logic.<BR>Prof