1 TRUEMPER, Klaus Effective logic computation / Klaus Truemper. - New York : John Wiley and Sons, 1998. - 004.891 TRU E
2 TRUEMPER, Klaus Design of logic-based intelligent systems / Klaus Truemper. - Hoboken, N.J. : John Wiley & Sons, 2004. - 004.891 TRU D