Košík
zboží
(prázdné)
Kontakt
Účet
This classic text introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The text is replete with illustrative examples and exercises.
číst celé
Recenze