Introduction to metamathematics
By: by S.C. Kleene.
Publisher: North-Holland
Published: 1952
Language: eng