Ditemukan 1 dokumen yang sesuai dengan query
Mundici, Daniele, author
This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself...
Milan: Springer, 2012
e20420479
eBooks Universitas Indonesia Library
