LEADER 02563nam  2200661 a 450 
001 9910956313003321
005 20251116144652.0
010   $a1-134-97527-9
010   $a1-134-97528-7
010   $a1-280-10986-6
010   $a9786610109869
010   $a0-203-98025-5
024 7 $a10.4324/9780203980255 
035   $a(CKB)1000000000006457
035   $a(EBL)242043
035   $a(OCoLC)475959706
035   $a(SSID)ssj0000229267
035   $a(PQKBManifestationID)11185806
035   $a(PQKBTitleCode)TC0000229267
035   $a(PQKBWorkID)10171884
035   $a(PQKB)11655108
035   $a(MiAaPQ)EBC242043
035   $a(Au-PeEL)EBL242043
035   $a(CaPaEBR)ebr10017091
035   $a(CaONFJC)MIL10986
035   $a(OCoLC)60855281
035   $a(OCoLC)23732776
035   $a(FINmELB)ELB155840
035   $a(EXLCZ)991000000000006457
100   $a19910409d1992      uy         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 00$aProof, logic, and formalization /$fedited by Michael Detlefsen
205   $a1st ed.
210   $aLondon ;$aNew York $cRoutledge$d1992
215   $a1 online resource (118 p.)
300   $aDescription based upon print version of record.
311 08$a1-138-00907-5 
311 08$a0-415-02335-1 
320   $aIncludes bibliographical references and index.
327   $aBOOK COVER; HALF-TITLE; TITLE; COPYRIGHT; DEDICATION; CONTENTS; NOTES ON CONTRIBUTORS; PREFACE; 1  PROOFS ABOUT PROOFS A DEFENSE OF CLASSICAL LOGIC; 2  PROOFS AND EPISTEMIC STRUCTURE; 3  WHAT IS A PROOF?; 4  HOW TO SAY THINGS WITH FORMALISMS; 5  SOME CONSIDERATIONS ON ARITHMETICAL TRUTH AND THE ?-RULE; 6  THE IMPREDICATIVITY OF INDUCTION; 7  THREE INSUFFICIENTLY ATTENDED TO ASPECTS OF MOST MATHEMATICAL PROOFS: PHENOMENOLOGICAL STUDIES; 8  ON AN ALLEGED REFUTATION OF HILBERT'S PROGRAM USING GO?DEL'S FIRST INCOMPLETENESS THEOREM; INDEX
330   $aA collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification.
606   $aProof theory
606   $aLogic, Symbolic and mathematical
615  0$aProof theory.
615  0$aLogic, Symbolic and mathematical.
676   $a511.3
701   $aDetlefsen$b Michael$f1948-$046258
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910956313003321
996   $aProof, logic, and formalization$94488237
997   $aUNINA