Logic for computer scientists /

Bibliographic Details

Main Author:	Schöning, Uwe, 1955-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Boston : Birkhauser, 2008.
Series:	Modern Birkhäuser classics.
Subjects:	Logic programming. Logic, Symbolic and mathematical. Logische Programmierung. Mathematische Logik. Electronic books.
Online Access:	Connect to the full text of this electronic book