Author :
Kleene, Stephen Cole, 1909-
Title :
Introduction to metamathematics
Author Statement :
by Stephen Cole Kleene
Publication :
Wolters- Noordhoff Pub
Publication Year :
1971, c1952
Collation :
x, 550 p.; 23 cm
Series :
Bibliotheca mathematica; a series of monographs on pure and applied mathematics, v.1
Subject :
Metmathematics,Login, Symbolic and mathematica
Biblography :
Bibliography: p. 517- 537
