A friendly introduction to mathematical logic.

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