Gentzenizing Schroeder-Heister's natural extension of natural deduction

DOI10.1305/ndjfl/1093635337zbMath0712.03046OpenAlexW2029272128MaRDI QIDQ923083

Could not fetch data.

Publication date: 1990

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635337

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.