Formal systems of constructive mathematics

DOI10.2307/2268489zbMath0072.00107OpenAlexW1971389797MaRDI QIDQ3237138

No author found.

Publication date: 1956

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2268489

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Cites Work

• Arithmetical problems and recursively enumerable predicates
• Concatenation as basis for a complete system of arithmetic
• Formal Reductions of the General Combinatorial Decision Problem

This page was built for publication: Formal systems of constructive mathematics