Uniform Gentzen systems
From MaRDI portal
Publication:5594589
DOI10.2307/2271361zbMath0197.27305MaRDI 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
EXPtime tableaux for ALC, Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic, Jean van Heijenoort's contributions to proof theory and its history
Cites Work