Introduction to metamathematics

Bibliographic Details
Main Author: Kleene, Stephen Cole 1909-1994
Format: Book
Language:English
Published: Amsterdam North-Holland 1971.
Subjects: