On the inductive definition with quantifiers of second order
Open Access
- 1 October 1961
- journal article
- Published by Mathematical Society of Japan (Project Euclid) in Journal of the Mathematical Society of Japan
- Vol. 13 (4) , 333-341
- https://doi.org/10.2969/jmsj/01340333
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: