Search results

computable functions, Raven Press, Hewlett, N.Y., pp. 84–88, ISBN 978-0-486-43228-1, MR 0189996 Kunen, Kenneth (1980), Set theory: An introduction to...

Martin, ed. (2004). The Undecidable. Courier Dover Publications. ISBN 978-0-486-43228-1. Martin Davis (2000). Engines of Logic: Mathematicians and the origin...

Unsolvable Problems And Computable Functions, New York: Raven Press, ISBN 9780486432281. Papers include those by Gödel, Church, Rosser, Kleene, and Post. Dummett...

Unsolvable Problems and Computable Functions. New York: Raven Press. ISBN 978-0-486-43228-1. Davis gives commentary before each article. Papers of Gödel, Alonzo...

Problems and Computable Functions. Dover Publications, Inc. p. 84. ISBN 978-0-486-43228-1. p. 84: Kurt Gödel (1946): Tarski has stressed in his lecture (and...

and computable functions. Courier Dover Publications. p. 145. ISBN 978-0-486-43228-1. Kleene 1952, p. 45. "The nonprimitive and arbitrary character of...

Propositions, Unsolvable Problems and Computable Functions. Dover. ISBN 9780486432281. Franzén, Torkel (2005). Gödel's Theorem: An Incomplete Guide to its...