Back to Results
First PageMeta Content
Propositional calculus / Proof theory / Logical syntax / First-order logic / Monadic predicate calculus / Decidability / Well-formed formula / Sequent calculus / Proposition / Logic / Mathematical logic / Predicate logic


ON A DECIDABLE FRAGMENT OF PREDICATE CALCULUS
Add to Reading List

Document Date: 2008-11-05 20:24:12

Open Document

File Size: 96,83 KB

Share Result on Facebook
UPDATE