Principles of intuitionism: lectures presented at the summer conference on Intuitism and Proof theory
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Idioma: | espanyol |
| Publicat: |
Berlín
Springer-Verlag
1969
|
| Col·lecció: | Lectures Notes in Mathematics, 95
|
| Matèries: | |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | UCQ8502 | ||
| 003 | CL-VaPUC | ||
| 008 | 981210e19690000GW |||||||||||||||||spa|d | ||
| 082 | 0 | 4 | |a 511.3 |b TRO |2 21 |
| 100 | 0 | |a Troelstra, A. S |e author |9 422506 | |
| 245 | 1 | 0 | |a Principles of intuitionism: lectures presented at the summer conference on Intuitism and Proof theory |
| 300 | |a 111 h | ||
| 942 | |c BK | ||
| 945 | |d 19981210 00:00:00 |a cmena | ||
| 260 | |a Berlín |b Springer-Verlag |c 1969 | ||
| 650 | 0 | |a Lógica matemática |9 262442 | |
| 650 | 0 | |a Aritmética |9 270049 | |
| 650 | 0 | |a Números reales |9 270334 | |
| 650 | 0 | |a Teoría de números |9 265327 | |
| 583 | |a last modification |c 20190801 07:02:51 |k Rodrigo Vera | ||
| 490 | 0 | |a Lectures Notes in Mathematics, 95 | |
| 999 | |c 277746 |d 277744 | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_TRO_1969 |7 0 |8 A |9 315945 |a BIBMAT |b BIBMAT |d 2019-11-20 |i 130626K |o 511.3 TRO 1969 |p 130626K |r 2025-01-07 |w 2019-11-20 |y BK |k MAT | ||