Uniform Gentzen systems
From MaRDI portal
Publication:5594589
DOI10.2307/2271361zbMath0197.27305OpenAlexW2129418945MaRDI QIDQ5594589
Publication date: 1968
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2271361
Related Items
Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic, Jean van Heijenoort's contributions to proof theory and its history, EXPtime tableaux for ALC
Cites Work