Proof and Disproof in Formal Logic
Published on 21. July 2005
Book
Hardback
264 pages
978-0-19-853026-8 (ISBN)
Description
Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text is a lively and entertaining introduction to formal logic and provides an excellent insight into how a simple logic works.
More details
Series
Language
English
Place of publication
Oxford
United Kingdom
Target group
Professional and scholarly
Undergraduates, or graduates, in logic, computer science, philosophy and mathematics seeking a comprehensive introduction to formal logic through proof and disproof
Illustrations
numerous diagrams
Dimensions
Height: 249 mm
Width: 173 mm
Thickness: 21 mm
Weight
605 gr
ISBN-13
978-0-19-853026-8 (9780198530268)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Book
07/2005
Oxford University Press
€81.71
Shipment within 15-20 days
Person
STEVE BORNAT, Formerly of Queen Mary, University of London
Content
Preface ; PART I BASICS ; 1. A Rough History of Logic ; 2. How to speak and read logic ; PART II FORMAL PROOF ; 3. Connectives ; 4. Rule shapes and formula shapes ; 5. Proof with connectives ; 6. The logical quantifiers ; 7. Proofs with quantifiers ; PART III DISPROOF ; 8. Disproof in a mathematical model ; 9. Constructive semantics ; 10. Classical semantics ; 11. Disproof calculation ; PART IV PROOF OF PROGRAMS ; 12. Specification and Verification ; 13. A simple programming language ; 14. Loops ; 15. Arrays ; Index