Arithmetization of metamathematics in a general setting

Publisher Website

1 January 1960

journal article
Published by Institute of Mathematics, Polish Academy of Sciences in Fundamenta Mathematicae

Vol. 49 (1), 35-92
https://doi.org/10.4064/fm-49-1-35-92

Abstract

No abstract available

Cited by 310 articles