Back to Results
First PageMeta Content
Mathematics / Metalogic / Formal languages / First-order logic / Predicate logic / Boolean satisfiability problem / Well-formed formula / Satisfiability / Second-order logic / Logic / Mathematical logic / Model theory


Introduction 0-1 Law for Bernays-Sch¨ onfinkel Negative Results
Add to Reading List

Document Date: 2010-04-18 18:43:59

Open Document

File Size: 736,11 KB

Share Result on Facebook
UPDATE