TY - BOOK AU - Davis Martin TI - Undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions U1 - 164 PY - 1965/// CY - New York PB - Raven Press KW - Mathematical logic KW - Symbolic logic ER -