
Computer Science Logic
Matthias Baaz, Johann M. Makowsky
₹4,479

Horizons of Truth
by Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam
Free delivery. Nothing extra to pay at checkout.
This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis.
Description supplied by the publisher.