Constructivity in mathematics : proceedings of the Colloquium held at Amsterdam, 1957 /
Guardado en:
| Otros Autores: | |
|---|---|
| Formato: | Libro |
| Idioma: | Multiple English French German |
| Publicado: |
Amsterdam :
North-Holland,
1959.
|
| Series: | Studies in logic and the foundations of mathematics
|
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 00885nam a22001935a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb001586 | ||
| 008 | 031124s1959####ne#######b####100#0#mul#d | ||
| 005 | 20160523153036.0 | ||
| 245 | 0 | 0 | |a Constructivity in mathematics : |b proceedings of the Colloquium held at Amsterdam, 1957 / |c edited by A. Heyting. |
| 260 | |a Amsterdam : |b North-Holland, |c 1959. | ||
| 300 | |a viii, 297 p. ; |c 23 cm. | ||
| 440 | 0 | |a Studies in logic and the foundations of mathematics | |
| 546 | |a Inglés, francés, alemán. | ||
| 500 | |a "The appendix contains the summaries of three lectures ... [given] at the Summer Institute of Symbolic Logic in June 1957 at Cornell University, Ithaca, N.Y."--Preface. | ||
| 504 | |a Incluye referencias bibliográficas. | ||
| 700 | 1 | |a Heyting, A. |q (Arend), |d 1898-1980. |4 edt | |
| 084 | |a 03Fxx (03-06) |2 msc2000 | ||
| 041 | 1 | |a mul |a eng |a fre |a ger | |
| 859 | |h 03 |i C758m |p A-1970 |b BIB. MATEMATICA | ||