1 results
Stephen Cole Kleene. Introduction to metamathematics. North-Holland Publishing Co., Amsterdam, and P. Noordhoff, Groningen, 1952; D. van Nostrand Company, New York and Toronto 1952; X + 550 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-216
- Print publication:
- September 1954
-
- Article
- Export citation