Logic for mathematics and computer science

Main Author: BURRIS
Format: Book
Published: New Jersey: Prentice Hall, 1998.
Subjects:
LEADER 00407pamaa2200145 4500
001 0000014300
005 20060628090000.0
020 0 0 |a 0132859742  
082 |a 511.3 BUR 
090 0 0 |a QA9   |b BUR 1998 
100 1 0 |a BURRIS  
245 1 0 |a Logic for mathematics and computer science   |c Stanley N. Burris. 
260 0 0 |a New Jersey:   |b Prentice Hall,   |c 1998. 
300 |a xix, 420p.:   |b 24cm. 
650 0 0 |a Logic, Symbolic and mathematical