Publication:5626612
From MaRDI portal
zbMath0222.02023MaRDI QIDQ5626612
Publication date: 1971
Full work available at URL: https://eudml.org/doc/66442
03F30: First-order arithmetic and fragments
03F20: Complexity of proofs
03F99: Proof theory and constructive mathematics
Related Items