01954nam 2200553 450 991082815220332120230803034313.087-93102-30-5(CKB)3710000000082890(EBL)3400115(SSID)ssj0001162229(PQKBManifestationID)11609751(PQKBTitleCode)TC0001162229(PQKBWorkID)11132907(PQKB)10321418(MiAaPQ)EBC3400115(Au-PeEL)EBL3400115(CaPaEBR)ebr10822783(OCoLC)903172204(EXLCZ)99371000000008289020140111h20132013 uy| 0engur|n|---|||||txtccrLanguage and Godels Theorem a revised edition /by Bradley S. Tice, Advanced Human Design, USAAalborg, Denmark :River Publishers,[2013]©20131 online resource (94 p.)River Publishers series in information science and technologyDescription based upon print version of record.87-92329-11-X Includes bibliographical references and index.""Cover""; ""Contents""; ""1 Introduction""; ""2 The completeness of the axioms of the functional calculus of logic""; ""3 Some metamathematical results on completeness and consistency""; ""4 Appendix C""; ""5 Appendix E""; ""Index""River Publishers series of information science and technology.Gödel's theoremDecidability (Mathematical logic)Gödel's theorem.Decidability (Mathematical logic)511.3Tice Bradley S1086081MiAaPQMiAaPQMiAaPQBOOK9910828152203321Language and Godels Theorem3960398UNINA