| Record ID | ia:outlinesofformal0009curr |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/outlinesofformal0009curr/outlinesofformal0009curr_marc.xml |
| Download MARC binary | https://www.archive.org/download/outlinesofformal0009curr/outlinesofformal0009curr_meta.mrc |
LEADER: 00763cam 2200217 4500
001 0116400162222
008 840131c19581951ne 00000 eng u
035 $a(Sirsi) AAZ-6156
035 $a13565602
035 $arecon$fdpa
040 $aOPET$beng
050 04 $aQA8.4$b.C8 1958
090 0 $aQA 9 .C852 1958$bb
100 1 $aCurry, Haskell B.$q(Haskell Brooks),$d1900-
245 10 $aOutlines of a formalist philosophy of mathematics.
260 $aAmsterdam :$bNorth-Holland Pub. Co.,$c1958, c1951.
300 $avii, 75 p.
490 1 $aStudies in logic and the foundations of mathematics
500 $a"Represents the publication of [a] manuscript prepared in 1939."
650 0 $aMathematics$xPhilosophy.
830 0 $aStudies in logic and the foundations of mathematics.