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.
Suitable for undergraduate students of computer science and mathematics, this title gives a proof of Godel's completeness theorem and its main consequ...
