Open Access
1972 A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions
Nobuyoshi Motohashi
Proc. Japan Acad. 48(3): 153-156 (1972). DOI: 10.3792/pja/1195519721
First Page PDF

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

Vol.48 • No. 3 • 1972
Back to Top