01136nam0-22003971i-450-99000107161040332120090707162914.0000107161FED01000107161(Aleph)000107161FED0100010716120090707d1969----km-y0itay50------baengDEy-------001yyPrinciples of intuitionismA.S. TroelstraBerlin [etc.]Springer-Verlag1969111 p.28 cmLecture notes in mathematics95Lectures presented at the Summer Conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y.LogicaRicorsivitàRicerca operativa160Troelstra,Anne Sjerp57222ITUNINARICAUNIMARCBK9900010716104033217-0116682FI1C-20-(958880MA109 046-003808/LDINAEFI1MA1DINAEPrinciples of intuitionism81302UNINA