A friendly introduction to mathematical logic

Bibliographic Details
Main Author:	Leary, Christopher C.
Format:	Book
Language:	English
Published:	Upper Saddle River, N.J. Prentice Hall c2000.
Subjects:	Logic, symbolic and mathematical. Computer logic.