00762nam0-22002771i-450-99000129384040332120120716121714.0000129384FED01000129384(Aleph)000129384FED0100012938420001205d1976----km-y0itay50------baengNLa---a---001yyIntuitionisman introductionA. HeytingAmsterdam [etc.]North-Holland1976Studies in logic and the foundations of mathematicsHeyting,Arend1023ITUNINARICAUNIMARCBK990001293840403321C-30-(25-3ED18648MA1MA1Intuitionism108255UNINA