Livro: Logic for Computer Scientists - Uwe Schöning

imagem ilustrativa

Salvar edição

Editora: UmLivro
Ano: 2008
ISBN: 9780817647629
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text is replete with illustrative examples and exercises. It presents applications and themes of computer