LEADER 03110nam  2200649Ia 450 
001 9910455474703321
005 20200520144314.0
010   $a1-280-44330-8
010   $a9786610443307
010   $a0-19-535983-6
010   $a0-585-35829-X
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(MiAaPQ)EBC271659
035   $a(Au-PeEL)EBL271659
035   $a(CaPaEBR)ebr10086864
035   $a(CaONFJC)MIL44330
035   $a(OCoLC)935260540
035   $a(EXLCZ)99111004366526824
100   $a19971218d1998      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aIn the light of logic$b[electronic resource] /$fSolomon Feferman
210   $aNew York $cOxford University Press$dc1998
215   $a1 online resource (353 p.)
225 1 $aLogic and computation in philosophy
300   $aDescription based upon print version of record.
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   $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, objectivity and intentionality in mathematics, and key issues in the work of Godel, Hilbert and Turing.
410  0$aLogic and computation in philosophy.
606   $aLogic, Symbolic and mathematical
606   $aMathematics
608   $aElectronic books.
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   $a9910455474703321
996   $aIn the light of logic$92296552
997   $aUNINA