A Note on the Length of Proofs

DOI10.4288/JAFPOS1956.8.203zbMath0812.03025OpenAlexW1965893343MaRDI QIDQ4306545

Tsuyoshi Yukami

Publication date: 16 May 1995

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.8.203

zbMATH Keywords

length of proofdiophantine predicates

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Complexity of proofs (03F20)

This page was built for publication: A Note on the Length of Proofs