Proof and Disproof in Formal Logic : An Introduction for programmers by Richard Bornat - Paperback

Proof and Disproof in Formal Logic : An Introduction for programmers by Richard Bornat - Paperback

AED401.50
(0) Write a Review
SKU:
9780198530275
UPC:
9780198530275

Product Description

ISBN: 9780198530275
TITLE: Proof and Disproof in Formal Logic : An Introduction for programmers
AUTHOR: Richard Bornat
PUBLISHER: Oxford University Press
PUBLISHER DATE: 21 Jul 2005

Other Details

ISBN:
9780198530275
Author:
Richard Bornat
Publisher:
Oxford University Press
Publisher Date:
Published:21 Jul 2005
Book Format:
Paperback

Related Products

Popular Trending Products