"0000000117485364" . "Informaticien. - En poste à l'Universität-GH Paderborn, Allemagne (en 1994)" . . "Aussagenlogik : Deduktion und Algorithmen / von Prof. Dr. rer. nat. Hans Kleine Büning und Dr. rer. pol. Theodor Lettmann, 1994. - . - LCNA (CD OCLC), 1995-03. - . -"@fr . "Theodor Lettmann" . "Theodor" . "Informaticien. - En poste à l'Universität-GH Paderborn, Allemagne (en 1994)" . . . "1995-08-17" . . . . "Theodor Lettmann"@fr . . . "12476789"^^ . . "2013-07-29" . . . . . . . . "VIAF" . . "Lettmann" . "2013-07-29"^^ . . "Informaticien. - En poste à l'Universität-GH Paderborn, Allemagne (en 1994)"@fr . . . . . "1958"^^ .