zbMATH — the first resource for mathematics

Implicational complexity in intuitionistic arithmetic. (English) Zbl 0488.03032

03F50 Metamathematics of constructive systems
03F30 First-order arithmetic and fragments
Full Text: DOI
[1] Proceedings of the 1974 European Meeting of the Association for Symbolic Logic, Kiel, Lecture Notes in Mathematics 500 pp 182– (1975)
[2] DOI: 10.1007/BF01977642 · Zbl 0129.00402 · doi:10.1007/BF01977642
[3] On formulas of one variable in intuitionistic propositional calculus 25 pp 327– (1960) · Zbl 0108.00302
[4] Fundamenta Mathematicae 42 pp 101– (1955)
[5] Lecture Notes in Mathematics 344 (1973)
[6] Formulas of one propositional variable in intuitionistic arithmetic (1973)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.