LEADER 00882nam0-22002771i-450-
001 990001007810403321
035   $a000100781
035   $aFED01000100781
035   $a(Aleph)000100781FED01
035   $a000100781
100   $a--------d--------km-y0itay50------ba
101 0 $aeng
200 1 $a<<Les >>fondements des mathématiques$eIntuitionnisme Théorie de la Démonstration$fpar A. Heyting
210   $aParis$aLouvain [etc.]$cGauthier-Villars$cE. Nauwelaerts$d1955
215   $a91 p.$d25 cm
225 1 $aCollection de logique mathématique$iSérie A$v9
610 0 $aFondamenti delle scienze fisiche e naturali
676   $a519
700  1$aHeyting,$bArend$01023
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001007810403321
952   $a4A-025$b3351$fFI1
959   $aFI1
996   $aFondements des mathématiques$9354753
997   $aUNINA