Steinbach B. Logic functions and equations / B. Steinbach, C. Posthoff, 2009 r=on-line. - Текст : электронный.
Posthoff C. Einfuhrung in die Programmierung mit Prolog / C.Posthoff,S.Schubert,D.R@:atz, 1990. - 90 S. - Текст : непосредственный.
Steinbach B. Logic functions and equations : examples and exercises / B. Steinbach, C. Posthoff, 2009 r=on-line. - Текст : электронный.