Back to Results
First PageMeta Content
Proof theory / Automated theorem proving / Propositional calculus / Logic in computer science / Hilbert system / Proof calculus / Combinatory logic / Well-formed formula / Deduction theorem / Logic / Mathematical logic / Mathematics


Algebraic Properties of Rules of Frege-Hilbert Calculi Elmar Eder
Add to Reading List

Document Date: 2005-08-09 12:26:52

Open Document

File Size: 156,70 KB

Share Result on Facebook
UPDATE