00824nam0-22002651i-450-990001293820403321000129382FED01000129382(Aleph)000129382FED0100012938220000920d1955----km-y0itay50------baengFondements des Mathématiques Intuitionnisme Théorie de la DémonstrationDE HEYTING A .ParisGauthier-Villars1955Collection de logique mathématiqueSérie AVOLUME 9 ̜Heyting,Arend1023ITUNINARICAUNIMARCBK99000129382040332121-L-95071MA1MA1Fondements des Mathématiques Intuitionnisme Théorie de la Démonstration383730UNINAING01