Translator Disclaimer
Winter 1990 Characters and fixed-points in provability logic.
Zachary Gleit, Warren Goldfarb
Notre Dame J. Formal Logic 31(1): 26-36 (Winter 1990). DOI: 10.1305/ndjfl/1093635330
First Page PDF

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

JOURNAL ARTICLE
11 PAGES


SHARE
Vol.31 • No. 1 • Winter 1990
Back to Top