Logic: A Brief Course
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 c...
|Main Author:||Mundici, Daniele.|
|Corporate Author:||SpringerLink (Online service)|
Springer Milan :
No Tags, Be the first to tag this record!