LEADER 02422oam  2200637I  450 
001 9910821982903321
005 20190122132631.0
010   $a1-134-98997-0
010   $a1-134-98998-9
010   $a1-280-11041-4
010   $a0-203-01509-6
035   $a(CKB)111087027065634
035   $a(EBL)167715
035   $a(OCoLC)475875366
035   $a(SSID)ssj0000135976
035   $a(PQKBManifestationID)11147059
035   $a(PQKBTitleCode)TC0000135976
035   $a(PQKBWorkID)10063998
035   $a(PQKB)11577027
035   $a(MiAaPQ)EBC167715
035   $a(Au-PeEL)EBL167715
035   $a(CaPaEBR)ebr10017095
035   $a(CaONFJC)MIL11041
035   $a(OCoLC)559475591
035   $a(FlBoTFG)9780203015094
035   $a(EXLCZ)99111087027065634
100   $a20190122h20021990  uy         0
101 0 $aeng
135   $aur|||   |||||
181   $ctxt
182   $cc
183   $acr
200 10$aDeducibility and Decidability /$fby R. R. Rockingham Gill
205   $aFirst edition.
210  1$aBoca Raton, FL :$cTaylor and Francis, an imprint of Routledge,$d[2002].
210  4$dİ1990.
215   $a1 online resource (169 p.)
300   $aDescription based upon print version of record.
311   $a0-415-75496-8 
311   $a0-415-00033-5 
320   $aIncludes bibliographical references (p. 150-155) and index.
327   $aBook Cover; Title; Contents; Preface; The Natural Numbers and their Conventional Ordering; Addition, Multiplication and Exponentiation; The Theory of -Forms; Effectiveness; Recursively Defined Predicates; The 'Arithmetization of Syntax'; Diagonalization; GOdel's Theorems, and their Relatives; The Limits of Representability; The Arithmetical Hierarchy; Envoi; Appendix: Terminological Matters; References; Index
330 3 $aThis book presents the results of these thinkers in a newly unified manner and displays their significance for the philosophy of mathematics.
606   $aLogic, Symbolic and mathematical
606   $aDecidability (Mathematical logic)
615  0$aLogic, Symbolic and mathematical.
615  0$aDecidability (Mathematical logic)
676   $a160
676   $a511.3
700   $aGill$b R. R. Rockingham$01654135
801  0$bFlBoTFG
801  1$bFlBoTFG
906   $aBOOK
912   $a9910821982903321
996   $aDeducibility and Decidability$94005779
997   $aUNINA