TY - BOOK ID - 50725841 TI - Undecidable theories. PY - 1953 SN - 1283526158 9786613838605 0080957331 0444533788 PB - Amsterdam : Elsevier Science, DB - UniCat KW - Godel’s theorem. KW - Logic, Symbolic and mathematical -- Periodicals. KW - Logic, Symbolic and mathematical. KW - Metamathematics. KW - Gòˆdel's theorem. KW - Decidability (Mathematical logic) UR - https://www.unicat.be/uniCat?func=search&query=sysid:50725841 AB - Provability, Computability and Reflection ER -