LEADER 00787nam0-22002891i-450-
001 990001293830403321
005 20120716121317.0
035   $a000129383
035   $aFED01000129383
035   $a(Aleph)000129383FED01
035   $a000129383
100   $a20001205d1971----km-y0itay50------ba
101 0 $aeng
102   $aNL
105   $aa---a---001yy
200 1 $aIntuitionism$ean introduction$fA. Heyting
210   $aAmsterdam$cNorth-Holland$d1971
215   $aVIII, 145 p.$d23 cm
225 1 $aStudies in logic and the foundations of mathematics
700  1$aHeyting,$bArend$01023
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001293830403321
952   $aC-30-(25$b11739$fMA1
959   $aMA1
996   $aIntuitionism$9108255
997   $aUNINA