Produkt mají v nabídce:
Proof and Disproof in Formal Logic - Bornat, Richard (School of Computing Science, Middlesex University)
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.
