Open Access
June 1990 On axiom schemata applicable to the formulae with $\epsilon$-symbols
Masazumi Hanazawa
Tsukuba J. Math. 14(1): 91-98 (June 1990). DOI: 10.21099/tkbjm/1496161321
First Page PDF

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

Vol.14 • No. 1 • June 1990
Back to Top