scientific article
From MaRDI portal
Publication:2753596
zbMath0972.03542MaRDI QIDQ2753596
Publication date: 14 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
Related Items (2)
Unified deductive systems: an outline ⋮ Optimization techniques for propositional intuitionistic logic and their implementation
This page was built for publication:
