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: | |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Milano :
Springer Milan : Imprint: Springer,
2012.
|
| Series: | UNITEXT,
|
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
