00886nam0-22003131i-450-99000001246040332120041008083530.0000001246FED01000001246(Aleph)000001246FED0100000124620020821d1956----km-y0itay50------baitay-------001yyIntuitionisman intoductionA. HeytingAmsterdamNorth-Holland publishing company1956VIII, 132 p.22 cmStudies in logic and the foundations of mathematicsLogica matematicaIntuizione matematica511.3Heyting,Arend1023ITUNINARICAUNIMARCBK99000001246040332113 K 61 0723338FINBCFINBCIntuitionism108255UNINA