$40.00
2f47/13
Proof and Disproof in Formal Logic: An Introduction for Programmers
Author:
BORNAT, RICHARD
Title:
Proof and Disproof in Formal Logic: An Introduction for Programmers
Publisher:
Oxford University Press 2005
Description:
Super octavo, light card covers, xix + 243pp, nr fine (slight creasing to covers and to page corners)
Keywords:
Richard Bornat philosophy logic proof disproof connectives quantifiers mathematacal models semantics computer science
Dunedin
- 20 Dowling Street
- Dunedin 9016
Auckland
- 2 - 8 St Benedicts Street,
- Eden Terrace, Auckland 1010
© Hard To Find Books Limited 2025 | All Rights Reserved.
Designed by Turboweb