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 Catálogo Colectivo de las Bibliotecas Agustinianas de España: | http://catalogo.bibliotecasagustinianas.es/cgi-bin/koha/opac-detail.pl?biblionumber=362317 |
