02422oam 2200637I 450 991082198290332120190122132631.01-134-98997-01-134-98998-91-280-11041-40-203-01509-6(CKB)111087027065634(EBL)167715(OCoLC)475875366(SSID)ssj0000135976(PQKBManifestationID)11147059(PQKBTitleCode)TC0000135976(PQKBWorkID)10063998(PQKB)11577027(MiAaPQ)EBC167715(Au-PeEL)EBL167715(CaPaEBR)ebr10017095(CaONFJC)MIL11041(OCoLC)559475591(FlBoTFG)9780203015094(EXLCZ)9911108702706563420190122h20021990 uy 0engur||| |||||txtccrDeducibility and Decidability /by R. R. Rockingham GillFirst edition.Boca Raton, FL :Taylor and Francis, an imprint of Routledge,[2002].©1990.1 online resource (169 p.)Description based upon print version of record.0-415-75496-8 0-415-00033-5 Includes bibliographical references (p. 150-155) and index.Book 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; IndexThis book presents the results of these thinkers in a newly unified manner and displays their significance for the philosophy of mathematics.Logic, Symbolic and mathematicalDecidability (Mathematical logic)Logic, Symbolic and mathematical.Decidability (Mathematical logic)160511.3Gill R. R. Rockingham1654135FlBoTFGFlBoTFGBOOK9910821982903321Deducibility and Decidability4005779UNINA