Logic for Computer Science
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Format: Hardcover
ISBN-13: 9783540760726