Back to Results
First PageMeta Content
Mathematics / Deduction / Natural deduction / Valuation / Sequent calculus / Symbol / Curry–Howard correspondence / Entailment / Logic / Proof theory / Mathematical logic


Calculi for the G¨odel Logic M. Ultlog July 11, 2001
Add to Reading List

Document Date: 2001-07-11 08:10:51

Open Document

File Size: 176,83 KB

Share Result on Facebook
UPDATE