LEADER 01198nam2-2200373---450-
001 990003228920203316
005 20091110094711.0
010   $a7204-2256-6
035   $a000322892
035   $aUSA01000322892
035   $a(ALEPH)000322892USA01
035   $a000322892
100   $a20090427d1969----km-y0itay50------ba
101   $aeng
102   $aNL
105   $a||||||||001yy
200 1 $aIntuitionistic logic model theory and forcing$fMelvin Chris Fitting$gA. Heyting...[et al.] (Eds.)
210   $aAmsterdam$cNorth-Holland$d1969
215   $a191 p.$cill.$d23 cm
225 2 $aStudies in logic and the foundations of mathematics$v16
410  1$1001000334586$12001$aStudies in logic and the foundations of mathematics$v16
606 0 $aLogica matematica
676   $a511.3
700  1$aFITTING,$bMelvin Chris$046831
702   $aHEYTING,$bA.
801  0$aIT$bsalbc$gISBD
912   $a990003228920203316
951   $a510 SL 16$b1153/CBS$c510$d00218723
959   $aBK
969   $aSCI
979   $aRSIAV7$b90$c20090427$lUSA01$h1209
979   $aRSIAV7$b90$c20091110$lUSA01$h0947
996   $aIntuitionistic logic model theory and forcing$9343156
997   $aUNISA