Title: A transition to abstract mathematics
First published: 2009
Subjects: Logic, Symbolic and mathematical, Proof theory, Symbolic and mathematical Logic, Logic, symbolic and mathematical
LC classification: QA9.54 .M34 2009