panda
Foundations of mathematical logic
Logique symbolique et mathématique
Logic, symbolic and mathematical
Symbolic and mathematical Logic
Einführung
A comprehensive account of the constructive theory of the first-order predicate calculus, which is central to modern mathematical logic and important for mathematicians, philosophers and scientists whose work impinges upon logic. The first half of the book gives the basic principles and outlines of …
Borrow to read
This scan is available through Internet Archive's free lending library — sign in or create a free account below, then borrow to read.
Reader not loading? Open it on Archive.org instead.
