00813nam0-22002891i-450-990001007760403321000100776FED01000100776(Aleph)000100776FED0100010077620000920d1959----km-y0itay50------baengConstructivism in MathematicsProceedings of the Colloquium held at Amsterdam, 1957edited by A. HeytingAmsterdamNorth-Holland1959VIII, 297 p.23 cmLogicaRicorsività160Heyting,Arend1023ITUNINARICAUNIMARCBK9900010077604033217-0893337FI1FI1Constructivism in Mathematics354748UNINAING01