Back to Results
First PageMeta Content
Logic / Mathematics / Mathematical logic / Boolean algebra / Propositional calculus / Model theory / Propositions / Propositional formula / Interpretation / Tautology / Distributive property / Closure


A Generalization of St˚ almarck’s Method⋆ Aditya Thakur1 and Thomas Reps1,2⋆⋆ 1 University of Wisconsin; Madison, WI, USA
Add to Reading List

Document Date: 2012-09-06 17:53:27


Open Document

File Size: 437,24 KB

Share Result on Facebook