Logic for computer scientists /

Bibliographic Details

Main Author:	Schöning, Uwe, 1955-
Format:	Book
Language:	English
Published:	Boston : Birkhäuser, 1989.
Series:	Progress in computer science and applied logic ; v. 8.
Subjects:	Logic, Symbolic and mathematical. Logic programming.