×

zbMATH — the first resource for mathematics

Introduction to metamathematics. 9th repr. (English) Zbl 0875.03002
Bibliotheca Mathematica. 1. Amsterdam: North-Holland. x, 550 p. (1988).

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
PDF BibTeX XML Cite