|
|
|
|
| LEADER |
00993nam a2200277 u 4500 |
| 001 |
000163366 |
| 005 |
20090421083017.0 |
| 008 |
080804s1999 bl ||||| eng |
| 020 |
|
|
|a 9788590090014
|
| 035 |
|
|
|a 9097933
|
| 040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Costa Rica
|
| 041 |
0 |
|
|a eng
|
| 082 |
0 |
|
|a 511.3
|b P912p
|2 22
|
| 100 |
1 |
|
|a Hermann Haeusler, Edward
|e Editor/a
|4 edt
|
| 245 |
1 |
0 |
|a Pratica :
|b proofs, types and categories /
|c edited by Edward Hermann Haeusler and Luiz Carlos Pereira
|
| 260 |
|
|
|a Rio de Janeiro :
|b Pontificia Universidade Catolica do Rio de Janeiro,
|c 1999.
|
| 300 |
|
|
|a 219 páginas :
|b ilustraciones
|
| 650 |
|
|
|a CATEGORIAS (MATEMATICAS)
|
| 650 |
|
|
|a LOGICA, SIMBOLICA Y MATEMATICA
|
| 650 |
|
|
|a MATEMATICAS CONSTRUCTIVAS
|
| 700 |
1 |
|
|a Pereira, Luiz Carlos
|e Editor/a
|4 edt
|
| 900 |
|
|
|a 2009
|
| 912 |
|
|
|a 21-APR-2009 - SALAZAR ALVAREZ, CLAUDIO
|
| 917 |
|
|
|a 04-AUG-2008 - BERMUDEZ RUIZ, AURORA
|
| 949 |
|
|
|a CSA -CSA
|
| 916 |
|
|
|a Centro Catalográfico
|