A New Theorem on Definability in a Positive Second Order Logic with Countable Conjunctions and Disjunctions

Proceedings of the Japan Academy

Print ISSN : 0021-4280

Author information

JOURNAL FREE ACCESS

1972 Volume 48 Issue 3 Pages 153-156

Details

Article 1st page

Content from these authors

This article cannot obtain the latest cited-by information.

Favorites & Alerts