BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Proof and Disproof in Formal Logic An Introduction for Programmers (Oxford Texts
Stock photo: cover may vary

Proof and Disproof in Formal Logic An Introduction for Programmers (Oxford Texts in Logic) Paperback - 2005

by Bornat, Richard

Add to wish list

Reader reviews for Proof and Disproof in Formal Logic An Introduction for Programmers (Oxford Texts in Logic)

Details

  • Title Proof and Disproof in Formal Logic An Introduction for Programmers (Oxford Texts in Logic)
  • Author Bornat, Richard
  • Binding Paperback
  • Edition New Edition
  • Pages 264
  • Language ENG
  • Publisher Oxford University Press, USA, Oxford
  • Publication date September 2, 2005
  • ISBN 9780198530275

More Copies for Sale

Proof and Disproof in Formal Logic: An Introduction for Programmers
Stock photo: cover may vary

Proof and Disproof in Formal Logic: An Introduction for Programmers

by Bornat, Richard

  • Used
  • Good
  • Paperback
Condition
Good
Binding
Paperback
ISBN 10 / ISBN 13
9780198530275 / 0198530277
Quantity available
1
Seller
Item price
A$88.85
Free Delivery to USA

Show details

Description:
Oxford University Press, USA, 2005. Paperback. Good. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Add to wish list
Item price
A$88.85
Free Delivery to USA
Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)
Stock photo: cover may vary

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

by Bornat, Richard

  • Used
Condition
Used
ISBN 10 / ISBN 13
9780198530275 / 0198530277
Quantity available
1
Seller
Item price
A$124.37
A$17.10 Delivery to USA

Show details

Description:
Oxford University Press. Used - Good. Ships from UK in 48 hours or less (usually same day). Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire, United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. We provide a 100% money back guarantee and are dedicated to providing our customers with the highest standards of service in the bookselling industry.
Add to wish list
Item price
A$124.37
A$17.10 Delivery to USA
Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)
Stock photo: cover may vary

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

by Bornat, Richard

  • Used
  • Paperback
  • first
Condition
Used
Edition
1
Binding
Paperback
ISBN 10 / ISBN 13
9780198530275 / 0198530277
Quantity available
1
Seller
Item price
A$115.86
Free Delivery to USA

Show details

Description:
OXFORD UNIVERSITY PRESS, 2005-09-29. 1. paperback. Used: Good. 6.50x0.75x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$115.86
Free Delivery to USA
Proof And Disproof in Formal Logic: An Introduction for Programmers
Stock photo: cover may vary

Proof And Disproof in Formal Logic: An Introduction for Programmers

by Richard Bornat

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780198530275 / 0198530277
Quantity available
1
Seller
Item price
A$212.75
A$28.66 Delivery to USA

Show details

Description:
Oxford Univ Pr, 2005. Paperback. New. 1st edition. 264 pages. 9.25x6.50x0.75 inches.
Add to wish list
Item price
A$212.75
A$28.66 Delivery to USA
Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic, 2)
Stock photo: cover may vary

Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic, 2)

by Bornat, Richard

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780198530275 / 0198530277
Quantity available
1
Seller
Item price
A$166.02
A$8.59 Delivery to USA

Show details

Description:
Oxford University Press. Paperback. New. New. In shrink wrap. Looks like an interesting title!
Add to wish list
Item price
A$166.02
A$8.59 Delivery to USA
Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)
Stock photo: cover may vary

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

by Bornat, Richard

  • Used
  • Good
  • Paperback
Condition
Good
Binding
Paperback
ISBN 10 / ISBN 13
9780198530275 / 0198530277
Quantity available
1
Seller
Item price
A$176.98
Free Delivery to USA

Show details

Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$176.98
Free Delivery to USA