Translator Disclaimer
Winter 1988 Constructive predicate logic with strong negation and model theory.
Seiki Akama
Notre Dame J. Formal Logic 29(1): 18-27 (Winter 1988). DOI: 10.1305/ndjfl/1093637767
First Page PDF

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

JOURNAL ARTICLE
10 PAGES


SHARE
Vol.29 • No. 1 • Winter 1988
Back to Top