Description: Logic for mathematics and computer science

Main Author:	BURRIS
Format:	Book
Published:	New Jersey: Prentice Hall, 1998.
Subjects:	Logic, Symbolic and mathematical

Physical Description:	xix, 420p.: 24cm.
ISBN:	0132859742