Open Access
1967 A criterion for the separable axiomatization of Gödel's $S_n $
Tsutomu Hosoi
Proc. Japan Acad. 43(5): 365-368 (1967). DOI: 10.3792/pja/1195521604
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.43 • No. 5 • 1967
Back to Top