Theodor Lettmann

No bio available. Add one in Open Library.

Books by Theodor Lettmann (50 max)

+ shelf+ list

Propositional logic: deduction and algorithms

1999

H. Kleine Büning, Hans Kleine Büning, Theodor Lettmann

+ shelf+ list

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

1988

Theodor Lettmann

+ shelf+ list

Aussagenlogik: Deduktion und Algorithmen

1994

Hans Kleine Büning, Theodor Lettmann