LEADER 01216nam2-2200373---450-
001 990003228830203316
005 20091110100026.0
010   $a7204-2206-X
035   $a000322883
035   $aUSA01000322883
035   $a(ALEPH)000322883USA01
035   $a000322883
100   $a20090427d1970----km-y0itay50------ba
101   $aeng
102   $aNL
105   $a||||||||001yy
200 1 $aOutlines of a formalist philosophy of mathematics$fHaskell B. Curry...[et. al]$gL.E.J. Brouwer...[et al.] (Eds.)
210   $aAmsterdam$cNorth-Holland$d1970
215   $aVII, 75 p.$cill.$d23 cm
225 2 $aStudies in logic and the foundations of mathematics$v13
410  1$1001000334586$12001$aStudies in logic and the foundations of mathematics$v13
606 0 $aMatematica
676   $a510.1
700  1$aHASKELL,$bB. Curry$0561577
702  1$aBROUWER,$bL.E.J.
801  0$aIT$bsalbc$gISBD
912   $a990003228830203316
951   $a510 SL 13$b2752/CBS$c510$d00218727
959   $aBK
969   $aSCI
979   $aRSIAV7$b90$c20090427$lUSA01$h1152
979   $aRSIAV7$b90$c20091110$lUSA01$h1000
996   $aOutlines of a formalist philosophy of mathematics$91013427
997   $aUNISA