Kleene, S. C. Introduction to metamathematics. 9th repr. (English) Zbl 0875.03002 Bibliotheca Mathematica. 1. Amsterdam: North-Holland. x, 550 p. (1988). Cited in 1 ReviewCited in 22 Documents MSC: 03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations 03D20 Recursive functions and relations, subrecursive hierarchies 03F50 Metamathematics of constructive systems × Cite Format Result Cite Review PDF