Introduction to metamathematics

• Main Author: Kleene, Stephen Cole, 1909-1994
• Format: Book
• Language: English
• Published: Groningen Wolters-Noordhoff Publishing 1971
• Series: Bibliotheca Mathematica 1
• Subjects: Λογική, Συμβολική και μαθηματική; Ασαφής λογική