ISBN-13: 9783110157666 / Angielski / Miękka / 1998 / 350 str.
Eine Einführung in die Logik erster Stufe, die den Leser mit der praktischen Anwendung formaler Schlußfolgerungen vertraut macht.
Czytaj nas na: