REDUCTION OF AXIOM SYSTEMS WITH AXIOM SCHEMES TO SYSTEMS WITH ONLY SIMPLE AXIOMS

DOI10.1111/j.1746-8361.1958.tb01474.xzbMath0093.01201OpenAlexW2074060107WikidataQ114624005 ScholiaQ114624005MaRDI QIDQ3269133

No author found.

Publication date: 1958

Published in: dialectica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1746-8361.1958.tb01474.x

zbMATH Keywords

foundations, philosophy and logic of mathematics

Related Items (1)

Thoralf Skolem in memoriam (1887-1963)

This page was built for publication: REDUCTION OF AXIOM SYSTEMS WITH AXIOM SCHEMES TO SYSTEMS WITH ONLY SIMPLE AXIOMS