scientific article; zbMATH DE number 3274716
From MaRDI portal
Publication:5560259
zbMath0172.29001MaRDI QIDQ5560259
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Glivenko sequent classes in the light of structural proof theory ⋮ Negation as failure: careful closure procedure ⋮ Upper and lower bounds for the height of proofs in sequent calculus for intuitionistic logic ⋮ From mathematical axioms to mathematical rules of proof: recent developments in proof analysis ⋮ Geometric Rules in Infinitary Logic
This page was built for publication:
