
Logical Methods
PAYBACK Punkte
24 °P sammeln!
"An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well"--