Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Subject: #Metamathematics)
Results:3items
Metamathematik der Elementarmathematik / E. Engeler.
Berlin : Springer , 1983. - (Hochschultext)
Books
The mathematics of metamathematics
t. 41. - Warszawa : Panstwowe Wydawn. Naukowe , 1963
Theory of formal systems / by Raymond M. Smullyan
Princeton, N.J. : Princeton University Press , 1961. - (Annals of mathematics studies ; n. 47)