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�...
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | English Italian |
| Publicado: |
Milan :
Springer,
2012.
|
| Series: | Unitext.
|
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
BIB. MATEMATICA
Volumen/Tomo: No especificado
Ejemplares: 2
Signatura: 03 M965
Signatura: 03 M965