| Record ID | marc_loc_2016/BooksAll.2016.part19.utf8:120223061:835 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part19.utf8:120223061:835?format=raw |
LEADER: 00835pam a2200253 a 4500
001 89049571
003 DLC
005 19900801082423.4
008 891129s1990 nyu b 00110 eng
010 $a 89049571
020 $a0824050916 (alk. paper) :$c$60.00
040 $aDLC$cDLC$dDLC
050 00 $aQA9.54$b.P37 1990
082 00 $a512/.72/01$220
100 10 $aParsons, Charles,$d1933-
245 10 $aOn constructive interpretation of predicative mathematics /$cCharles Parsons.
260 0 $aNew York :$bGarland Pub.,$c1990.
300 $aviii, 342 p. ;$c24 cm.
440 0 $aHarvard dissertations in philosophy
502 $aThesis (Ph. D.)--Harvard University, 1961.
504 $aIncludes bibliographical references (p. 333-339) and index.
650 0 $aProof theory.
650 0 $aNumber theory.
650 0 $aMathematics$xPhilosophy.