An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
| Autor principal: | |
|---|---|
| Formato: | Otros |
| Publicado: |
Dordrecht
Kluwer
2002
|
| Edición: | 2nd ed |
| Colección: | Applied Logic Series
27 |
| Materias: | |
| Ver en Biblioteca Conventual de El Escorial: | http://catalogo.bibliotecasagustinianas.es/cgi-bin/koha/opac-detail.pl?biblionumber=362317 |
| Descripción Física: | xviii, 390 p. 24 cm |
|---|---|
| ISBN: | 9781402007637 |
