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