Zur Logik der Logik-Programmierung by Clemens Beckstein - 1988 - 246 pages
Zwei Kulturen by Evgenij L. Fejnberg, Evgeniĭ Lʹvovich Feĭnberg - 1998 - 282 pages