Placeholder text

Proof and Disproof in Formal Logic: An Introduction For Programmers (Oxford Texts In Logic)

Name: Proof and Disproof in Formal Logic: An Introduction For Programmers (Oxford Texts In Logic)
Brand: Oxford University Press
Availability: OutOfStock
Rating: 5 (1 reviews)

By Richard Bornat

0 - Default Title

Product details

Binding:

Paperback

Edition:

Number of Pages:

264

Release Date:

2005-09-29

Publication Date:

2005-09-29

Publisher:

Oxford University Press

Languages:

Published: English, Original: English

ISBN10:

0198530277

Weight:

445 g

Currently sold out