Logic for computer scientists /
by Schöning, Uwe,
, Logik für Informatiker. Series: Progress in computer science and applied logic ; . v. 8 Published by : Birkhäuser, (Boston :) Physical details: 166 p. : ill. ; 24 cm. ISBN:0817634533 (alk. paper). Year: 1989No physical items for this record
Translation of: Logik für Informatiker.
Includes bibliographical references (p. 155-159).
There are no comments for this item.