Verwandte Artikel zu Proof and Disproof in Formal Logic: An Introduction...

Proof and Disproof in Formal Logic: An Introduction for Programmers. (Oxford texts in logic, vol.2) - Softcover

Bornat, Richard

 
9780198530275: Proof and Disproof in Formal Logic: An Introduction for Programmers. (Oxford texts in logic, vol.2)

Inhaltsangabe

A lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.