D^|^eacute;monstration de l'^|^omega;-non-contradiction de l'arithm^|^eacute;tique

DOI10.4288/JAFPOS1956.3.105zbMATH Open0179.01401OpenAlexW1924219285MaRDI QIDQ5569436

Yoshito Hanatani

Publication date: 1968

Published in: Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4288/jafpos1956.3.105

zbMATH Keywords

algebraic logic, model theory

This page was built for publication: D^|^eacute;monstration de l'^|^omega;-non-contradiction de l'arithm^|^eacute;tique

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