Logic for computer scientists

Saved in:
Bibliographic Details
Main Authors: Schöning Uwe, 1955-
Corporate Authors: SpringerLink (Online service)
Published: Springer,
Publisher Address: New York
Publication Dates: c2008.
Literature type: Book
Language: English
Series: Modern Birkhäuser classics
Subjects:
Online Access: http://dx.doi.org/10.1007/978-0-8176-4763-6
Item Description: Logik für Informatiker.
Carrier Form: 1 online resource (166 p.): ill.
ISBN: 9780817647636 (electronic bk.)
0817647635 (electronic bk.)
Index Number: O141
CLC: O141
Contents: "Reprint of the 1989 Edition."
Includes bibliographical references (p. 155-159) and index.