DOI10.3792/pja/1195521765zbMath0192.02702OpenAlexW2094342100MaRDI QIDQ5586218
Shotaro Tanaka
Publication date: 1966 Published in: Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave) Full work available at URL: https://doi.org/10.3792/pja/1195521765
zbMATH Keywords
general logic
Cites Work