Beitriige zur Algebra der Logik, insbesondere zum Entscheidungsproblem in: Mathematische Annalen Volume 86 (1922)

by H Behmann