00881nam0-22002891i-450-99000256049040332120040503124053.0000256049FED01000256049(Aleph)000256049FED0100025604920030910d1959----km-y0itay50------baENGConstructivity in MathematicsProceedings of the Colloquium held at Amsterdam from August 26 to 31, 1957Edited by A. Heyting.AmsterdamNorth Holland1959.viii, 297 p.24 cmLogica e fondamenti511.3Heyting,ArendConstructivity in mathematics493309ITUNINARICAUNIMARCBK990002560490403321MXXXII-B-7470MASMASConstructivity in Mathematics436963UNINA