Content deleted Content added
Fgnievinski (talk | contribs) No edit summary |
→References: now in side tab |
||
Line 104:
{{reflist}}
* [[Martin Davis (mathematician)|Martin Davis]] (1958), ''Computability and Unsolvability'', McGraw–Hill Book Company, Inc, New York. Republished by Dover in 1982. {{isbn|0-486-61471-9}}.
* [[Stephen Kleene]] (1952), ''Introduction to Meta-Mathematics'', North-Holland Publishing Company, Amsterdam, Netherlands, 10th printing with corrections added on 7th printing (1974). {{isbn|0-7204-2103-9}}.
|