Chargement en cours…
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...
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | |
| Collectivité auteur: | |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Milano :
Springer Milan : Imprint: Springer,
2012.
|
| Édition: | 1st ed. 2012. |
| Collection: | La Matematica per il 3+2,
|
| Sujets: | |
| Accès en ligne: | Texto Completo |