Mendelson E.

Introduction to mathematical logic Elliott. M. - 3rd - California Wadsworth & brooks/cole advanced books & software 1987 - ix, 341p, ;ill hbk

0534066240

QA9.M4