Open Access
Spring 1992 Unary interpretability logic.
Maarten de Rijke
Notre Dame J. Formal Logic 33(2): 249-272 (Spring 1992). DOI: 10.1305/ndjfl/1093636104
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.33 • No. 2 • Spring 1992
Back to Top