ISBN-13: 9788847023604 / Angielski / Miękka / 2012 / 130 str.
Suitable for undergraduate students of computer science and mathematics, this title gives a proof of Godel's completeness theorem and its main consequences using Robinson's completeness theorem and Godel's compactness theorem for propositional logic.