Notes on constructive mathematics /

Guardado en:
Autor Principal: Martin-Löf, Per, 1942-
Formato: Libro
Idioma:English
Publicado: Stockholm : Almqvist & Wiksell, impresión de 1970.
Materias:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
LEADER 00611nam a2200193 a 4500
001 MAT.inmabb002753
008 701008s1970####sw#######b####001#0#eng##
005 20151117131127.0
245 1 0 |a Notes on constructive mathematics /  |c by Per Martin-Löf. 
260 |a Stockholm :  |b Almqvist & Wiksell,  |c impresión de 1970. 
300 |a 109 p. ;  |c 24 cm. 
504 |a Bibliografía: p. [104]-106. 
510 4 |a MR,  |c 58 #5098 
100 1 |a Martin-Löf, Per,  |d 1942- 
650 0 |a Constructive mathematics. 
084 |a 03Fxx  |2 msc2000 
010 |a  78494586  
040 |a DLC  |c DLC  |d DLC 
859 |h 03  |i M379  |p A-5204  |b BIB. MATEMATICA