Loading…
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...
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Milano :
Springer Milan : Imprint: Springer,
2012.
|
| Edition: | 1st ed. 2012. |
| Series: | La Matematica per il 3+2,
|
| Subjects: | |
| Online Access: | Texto Completo |