Logic for Mathematics and Computer Science
by
Stanley N. Burris
Hardcover
details (
USA
).
ISBN: 978-0-13-285974-5
ISBN-10: 0-13-285974-2
Prentice Hall
· 1997