Introduction To Mathematical Logic, V1 - Alonzo Church - Bog

Introduction to Mathematical Logic, Volume 1 is a seminal work in the field of mathematical logic, authored by renowned mathematician Alonzo Church. This book, part of the Princeton Mathematical Series, No. 17, is a comprehensive introduction to the study of mathematical logic, covering a wide range of topics such as set theory, propositional logic, first-order logic, and formal systems. The book is divided into two parts. The first part covers the basics of mathematical logic, including the syntax and semantics of propositional and predicate logic, as well as proof theory and model theory. The second part delves deeper into the subject, exploring topics such as the theory of recursive functions, the incompleteness theorems of G������del, and the theory of computability.Written in a clear and concise style, this book is suitable for both undergraduate and graduate students in mathematics, computer science, and philosophy who are interested in the foundations of mathematics and the theory of computation. It is also an essential reference for researchers and professionals in these fields. Overall, Introduction to Mathematical Logic, Volume 1 is an indispensable resource for anyone interested in the study of mathematical logic.This scarce antiquarian book is a facsimile reprint of the old original and may contain some imperfections such as library marks and notations. Because we believe this work is culturally important, we have made it available as part of our commitment for protecting, preserving, and promoting the world's literature in affordable, high quality, modern editions, that are true to their original work.