Translator Disclaimer
December 1991 Lattice-valued representation of the cut-elimination theorem
Shoji Maehara
Tsukuba J. Math. 15(2): 509-521 (December 1991). DOI: 10.21099/tkbjm/1496161672
First Page PDF

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

JOURNAL ARTICLE
13 PAGES


SHARE
Vol.15 • No. 2 • December 1991
Back to Top