Title: Elementare formalisierte Logik /
Authors: Seebohm, Thomas M.
Publisher: K. Alber,
Year: 1991
Subjects: Logic, Symbolic and mathematical.