Computational Logic and Set Theory
Publisher: Springer-Verlag New York Inc.
Published: May 18, 2005
Format: hardcover
Number of pages: 370
ISBN-13: 9780387407623