LEADER 00886nam0-22003131i-450-
001 990000012460403321
005 20041008083530.0
035   $a000001246
035   $aFED01000001246
035   $a(Aleph)000001246FED01
035   $a000001246
100   $a20020821d1956----km-y0itay50------ba
101 0 $aita
105   $ay-------001yy
200 1 $aIntuitionism$ean intoduction$fA. Heyting
210   $aAmsterdam$cNorth-Holland publishing company$d1956
215   $aVIII, 132 p.$d22 cm
225 1 $aStudies in logic and the foundations of mathematics
610 0 $aLogica matematica
610 0 $aIntuizione matematica
676   $a511.3
700  1$aHeyting,$bArend$01023
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000012460403321
952   $a13 K 61 07$b23338$fFINBC
959   $aFINBC
996   $aIntuitionism$9108255
997   $aUNINA