REDUCTION OF AXIOM SYSTEMS WITH AXIOM SCHEMES TO SYSTEMS WITH ONLY SIMPLE AXIOMS
From MaRDI portal
Publication:3269133
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
Related Items (1)
This page was built for publication: REDUCTION OF AXIOM SYSTEMS WITH AXIOM SCHEMES TO SYSTEMS WITH ONLY SIMPLE AXIOMS