Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Milano :
Springer Milan : Imprint: Springer,
2012.
|
| Edición: | 1st ed. 2012. |
| Colección: | La Matematica per il 3+2,
|
| Temas: | |
| Acceso en línea: | Texto Completo |