Smullyan, Raymond M First-Order Logic - New York: Dover Publication, Inc.; 1995. - 158p. - Ergebnisse der Mathematik und ihrer Grenzgebiete 43 . ISBN: 9780486683706 Subjects--Topical Terms: Gentzen Systems - Magic SetsSystems of Linear Reasoning Dewey Class. No.: 511.3 / SMU