Found 3 document(s)
Page 1 of 1
-
A textbook on the semantics, proof theory, and metatheory of first-order logic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem t...
-
This book is an introduction to metamathematics and Gödel's Theorems. It covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic...
-
This book is a brief introduction to the philosophy of set theory. It is written for students with a little background in logic, and some high school mathematics, aims to scratch the tip of the surface of the philosophy ...
