𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Introduction to Mathematical Logic

✍ Scribed by Alonzo Church


Publisher
Princeton University Press
Year
1956
Tongue
English
Leaves
388
Series
Princeton Mathematical Series NΒ°17
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Introduction to Mathematical Logic
✍ Elliott Mendelson πŸ“‚ Library πŸ“… 1979 πŸ› Book World Promotions 🌐 English

Late in August, the text originally selected for my mathematical logic class became unavailable. On the basis of reviews only, I chose Mendelson's Introduction to Mathematical Logic as the replacement. A disasterous choice. There may be a page without a typo, but I don't expect to find it. The prese

Introduction to Mathematical Logic
✍ Dr. Hans Hermes (auth.) πŸ“‚ Library πŸ“… 1973 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic is intrinsically better than other, non-classical logics; however, classical logic is a good introduction to logic be

Introduction To Mathematical Logic
✍ Michal Walicki πŸ“‚ Library πŸ“… 2011 πŸ› World Scientific 🌐 English

<span>This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students. Starting with the basics of set theory, induction and computability, it covers pro

Introduction to mathematical logic
✍ Mendelson, Elliott πŸ“‚ Library πŸ“… 2011 πŸ› Chapman and Hall/CRC 🌐 English

Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text