Skip to main content
2 events
when toggle format what by license comment
Sep 21, 2013 at 13:22 comment added Colin McLarty Several sources on line describe it briefly, saying it is proved by quantifier elimination. For anyone who wants to look into this, the article is Behmann "Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem" Mathematische Annalen 86 (1922): 163-229. gdz.sub.uni-goettingen.de/dms/load/img/?PPN=GDZPPN002268752
Jun 4, 2013 at 8:09 history asked Infinity CC BY-SA 3.0