Mendelson, Elliot

Introduction to mathematical logic - 5th ed. - Boca Raton CRC Press 2010 - xxiv, 469 p.

511.3 M523I(5)