Author

Theodor Lettmann

3 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

3 books
Aussagenlogik: Deduktion und Algorithmen

Aussagenlogik: Deduktion und Algorithmen

Year unknown Hans Kleine Büning and Theodor Lettmann
Erfüllbarkeitsalgorihmen und die ...

Erfüllbarkeitsalgorihmen und die Problematik ihrer Realisierung in einem System zur Logikverarbeitung

Year unknown
Propositional logic

Propositional logic

Year unknown H. Kleine Büning, Hans Kleine Büning, and Theodor Lettmann

Fetched from OpenLibrary. Some translations may appear as separate works.