LEADER 00824nam0-22002651i-450-
001 990001293820403321
035   $a000129382
035   $aFED01000129382
035   $a(Aleph)000129382FED01
035   $a000129382
100   $a20000920d1955----km-y0itay50------ba
101 0 $aeng
200 1 $aFondements des Mathématiques Intuitionnisme Théorie de la Démonstration$fDE HEYTING A .
210   $aParis$cGauthier-Villars$d1955
225 1 $aCollection de logique mathématique$iSérie A
300   $aVOLUME 9 ?
700  1$aHeyting,$bArend$01023
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001293820403321
952   $a21-L-9$b5071$fMA1
959   $aMA1
996   $aFondements des Mathématiques Intuitionnisme Théorie de la Démonstration$9383730
997   $aUNINA
DB    $aING01