Herbrand uniformity theorems for infinitary languages
Open Access
- 1 January 1972
- journal article
- Published by Mathematical Society of Japan (Project Euclid) in Journal of the Mathematical Society of Japan
- Vol. 24 (1)
- https://doi.org/10.2969/jmsj/02410001
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: