Vista normal
Vista MARC
Proof theory / Gaisi Takeuti
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 0-444-87943-9
- QA 9.54 T34.1987
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|
Libros | Biblioteca Francisco Xavier Clavigero Acervo | Acervo General | QA 9.54 T34.1987 (Navegar estantería(Abre debajo)) | Disponible | 160075 |
acc. 160075
Incluye apendice, referencias e indice.
"Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968."