01987nam 2200565 450 991046445190332120200520144314.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)Electronic books.Gödel's theorem.Decidability (Mathematical logic)511.3Tice Bradley S854785MiAaPQMiAaPQMiAaPQBOOK9910464451903321Language and Godels Theorem1908608UNINA