Paperback
Add to list Added to list Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
George Tourlakis (York University, Toronto)
This work includes formal proof techniques, a section on applications of compactness, a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a…
Available to order, ships in approx 2 weeksAvailable to order