Proof and Disproof in Formal Logic

Auteur: Bornat, Richard (School of Computing Science, Middlesex University)
Editeur: Oxford University Press
Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text is a lively and entertaining introduction to formal logic and provides an excellent insight into how a simple logic works.
Sur commande
Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text is a lively and entertaining introduction to formal logic and provides an excellent insight into how a simple logic works.
ISBN / EAN 9780198530268
Auteur Bornat, Richard (School of Computing Science, Middlesex University)
Editeur Oxford University Press