LEADER 03204nam  2200697Ia 450 
001 9910814287503321
005 20200520144314.0
010   $a0-19-773058-2
010   $a1-280-44330-8
010   $a9786610443307
010   $a0-19-535983-6
010   $a0-585-35829-X
024 7 $a10.1093/oso/9780195080308.001.0001
035   $a(CKB)111004366526824
035   $a(EBL)271659
035   $a(OCoLC)466425524
035   $a(SSID)ssj0000177903
035   $a(PQKBManifestationID)11170182
035   $a(PQKBTitleCode)TC0000177903
035   $a(PQKBWorkID)10219236
035   $a(PQKB)10887632
035   $a(Au-PeEL)EBL271659
035   $a(CaPaEBR)ebr10086864
035   $a(CaONFJC)MIL44330
035   $a(OCoLC)935260540
035   $a(MiAaPQ)EBC271659
035   $a(OCoLC)1406785453
035   $a(StDuBDS)9780197730584
035   $a(EXLCZ)99111004366526824
100   $a19971218d1998      uy         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aIn the light of logic /$fSolomon Feferman
205   $aFirst edition.
210   $aNew York $cOxford University Press$dc1998
215   $a1 online resource (353 pages)
225 1 $aLogic and computation in philosophy
300   $aPreviously issued in print: 1998.
311   $a0-19-508030-0 
320   $aIncludes bibliographical references (p. 309-330) and index.
327   $aContents; I: FOUNDATIONAL PROBLEMS; 1 Deciding the undecidable: Wrestling with Hilbert's problems; 2 Infinity in mathematics: Is Cantor necessary?; II: FOUNDATIONAL WAYS; 3 The logic of mathematical discovery versus the logical structure of mathematics; 4 Foundational ways; 5 Working foundations; III: GO?DEL; 6 Go?del's life and work; 7 Kurt Go?del: Conviction and caution; 8 Introductory note to Go?del's 1933 lecture; IV: PROOF THEORY; 9 What does logic have to tell us about mathematical proofs?; 10 What rests on what? The proof-theoretic analysis of mathematics
327   $a11 Go?del's Dialectica interpretation and its two-way stretchV: COUNTABLY REDUCIBLE MATHEMATICS; 12 Infinity in mathematics: Is Cantor necessary? (Conclusion); 13 Weyl vindicated: Das Kontinuum seventy years later; 14 Why a little bit goes a long way: Logical foundations of scientifically applicable mathematics; Symbols; References; Index; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W; Z
330 8 $aThis volume brings together a revised and annotated selection of Solomon Feferman's most important writings, covering the relation between logic and mathematics, proof theory, and objectivity and intentionality in mathematics.
410  0$aLogic and computation in philosophy.
606   $aLogic, Symbolic and mathematical
606   $aMathematics
615  0$aLogic, Symbolic and mathematical.
615  0$aMathematics.
676   $a510.1
676   $a511.3
700   $aFeferman$b Solomon$046715
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910814287503321
996   $aIn the light of logic$94080951
997   $aUNINA