Logic for Computer Scientists: v. 8 (Progress in Computer Science S.) - Tapa dura

Schoning, Uwe

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

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9780817649210: Logic for Computer Scientists

Edición Destacada

ISBN 10:  0817649212 ISBN 13:  9780817649210
Editorial: Birkhäuser, 2013
Tapa blanda