Introduction to metamathematics
By: by Stephen Cole Kleene.
Series: Bibliotheca mathematica ;; v.1
Publisher: North-Holland Pub. Co.; P. Noordhoff N.V.
Published: 1952
Place of publication: Amsterdam; Groningen
Language: eng
Number of pages: 550
Subjects: Metamathematics
Notes: Bibliography: p. 517-537.
Includes index.