Richard Bornat – författare

Visar alla böcker från författaren Richard Bornat. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Proof and Disproof in Formal Logic

   Av Richard Bornat

   Inbunden, 2005

   1294 kr

   Lägg i varukorg

   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.

2. 

   Proof and Disproof in Formal Logic

   An Introduction for programmers

   Av Richard Bornat

   Häftad, 2005

   984 kr

   Lägg i varukorg

   Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and …