Computational Logic and Set Theory

by: Jacob Schwartz · Eugenio Omodeo · Domenico Cantone

Hardcover

ISBN: 978-0-387-40762-3

ISBN-10: 0-387-40762-6

Springer-Verlag New York Inc. · 2005