scientific article
From MaRDI portal
Publication:3119359
zbMath1410.03015MaRDI QIDQ3119359
Paulo A. S. Veloso, Sheila R. M. Veloso, Leonardo Bruno Vana
Publication date: 11 March 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Abstract deductive systems (03B22)