On two systems for arithmetic

DOI10.2969/JMSJ/01730244MaRDI QIDQ2395749zbMATH OpenOpenAlexFDO

Authors Toshio Nishimura, Hisao Tanaka

Publication date 1965

Published in Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2969/jmsj/01730244

zbMATH Keywords

mathematical logic

This page was built for publication: On two systems for arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2395749)