01414nam 2200361 450 00001385320050718115500.020030606d1969----km-y0itay0103----baengDEPrinciples of intuitionismlectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N. Y.A. S. TroelstraBerlin [etc.]Springer1969111 p.28 cm.Lecture notes in mathematics952001Lecture notes in mathematicsLogica matematica511.3(21. ed.)Logica matematica (Logica simbolica)03F55Mathematical logic and foundations. Proof theory and constructive mathematics. Intuitionistic mathematicsTroelstra,A. S.57222ITUniversità della Basilicata - B.I.A.RICAunimarc000013853Principles of intuitionism81302UNIBASMONSCISCIENZEEXT0030120030606BAS01155120050601BAS011755batch0120050718BAS01105220050718BAS01111120050718BAS01114120050718BAS011155BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT1901S19012003060651Riservati