Bornat, Richard, 1944-

Title

Proof and disproof in formal logic : an introduction for programmers

Name: Proof and disproof in formal logic : an introduction for programmers
Author: Bornat, Richard, 1944-

Author Statement

Richard Bornat

Publication

Oxford University

Publication Year

c2005

Collation

xix, 243 p.: ill, diagrs, tables

Subject

Main Class

160

Cutter no

B736p

وارد كنندة اطلاعات

s.hovsepian^d2007/04/24 15:03:36 , s.hovsepian^d2007/04/24 15:05:26 , fazel^d2007/05/16 11:30:35

Link To Document