The ${\bf Q}$-consistency of ${\cal F}_{22}$.
Open Access
- 1 January 1977
- journal article
- Published by Duke University Press in Notre Dame Journal of Formal Logic
- Vol. 18 (1) , 117-127
- https://doi.org/10.1305/ndjfl/1093887826
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: