Translator Disclaimer
December 1978 A note on a formalized arithmetic with function symbols ' and $+$
Tsuyoshi Yukami
Tsukuba J. Math. 2: 69-73 (December 1978). DOI: 10.21099/tkbjm/1496158505
First Page PDF

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

JOURNAL ARTICLE
5 PAGES


SHARE
Vol.2 • December 1978
Back to Top