scientific article; zbMATH DE number 2014706
From MaRDI portal
Publication:4437963
zbMath1031.03018MaRDI QIDQ4437963
Sheila R. M. Veloso, Paulo A. S. Veloso
Publication date: 8 December 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2507/25070001.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Logic with extra quantifiers and operators (03C80)
Related Items (3)
On ultrafilter logic and special functions ⋮ On the Structure of Natural Deduction Derivations for “Generally” ⋮ Sequent Calculi for ‘Generally’
This page was built for publication:
