LEADER 01954nam  2200553   450 
001 9910789139603321
005 20230803034313.0
010   $a87-93102-30-5
035   $a(CKB)3710000000082890
035   $a(EBL)3400115
035   $a(SSID)ssj0001162229
035   $a(PQKBManifestationID)11609751
035   $a(PQKBTitleCode)TC0001162229
035   $a(PQKBWorkID)11132907
035   $a(PQKB)10321418
035   $a(MiAaPQ)EBC3400115
035   $a(Au-PeEL)EBL3400115
035   $a(CaPaEBR)ebr10822783
035   $a(OCoLC)903172204
035   $a(EXLCZ)993710000000082890
100   $a20140111h20132013  uy|            0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aLanguage and Godels Theorem $ea revised edition /$fby Bradley S. Tice, Advanced Human Design, USA
210  1$aAalborg, Denmark :$cRiver Publishers,$d[2013]
210  4$dİ2013
215   $a1 online resource (94 p.)
225 1 $aRiver Publishers series in information science and technology
300   $aDescription based upon print version of record.
311   $a87-92329-11-X 
320   $aIncludes bibliographical references and index.
327   $a""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""
410  0$aRiver Publishers series of information science and technology.
606   $aGo?del's theorem
606   $aDecidability (Mathematical logic)
615  0$aGo?del's theorem.
615  0$aDecidability (Mathematical logic)
676   $a511.3
700   $aTice$b Bradley S$01086081
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910789139603321
996   $aLanguage and Godels Theorem$93848760
997   $aUNINA