Handbook of Logic and Proof Techniques for Computer Science
by
Steven G. Krantz
Hardcover
details (
United States
).
ISBN: 978-0-8176-4220-4
ISBN-10: 0-8176-4220-X
Birkhäuser
· 2002
