Bloch,Ethan D.

Proofs and fundamentals: a first course in abstract mathematics/ Ethan D. Bloch - 2nd ed.- - New York: Springer, 2011 - xxiv,359p.

9781441971265

Set theory Proof theory

510.22 / BLO