Logic for Computer Scientists (Progress in Computer Science S.) - Hardcover

Schöning, Uwe

 
9783764334536: Logic for Computer Scientists (Progress in Computer Science S.)

Inhaltsangabe

This text introduces the notions and methods of formal logic from a computer-science standpoint, covering propositional logic, predicate logic and foundations of logic programming.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9780817649210: Logic for Computer Scientists

Vorgestellte Ausgabe

ISBN 10:  0817649212 ISBN 13:  9780817649210
Verlag: Birkhäuser, 2013
Softcover