Proof and Disproof in Formal Logic
Author:   Richard Bornat (School of Computing Science, Middlesex University)
Publisher:   Oxford University Press
Volume:   2
ISBN:  

9780198530268


Pages:   264
Publication Date:   21 July 2005
Format:   Hardback
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Our Price $167.95 Quantity:  
Add to Cart

Share |

Proof and Disproof in Formal Logic


Add your own review!

Overview

Full Product Details

Author:   Richard Bornat (School of Computing Science, Middlesex University)
Publisher:   Oxford University Press
Imprint:   Oxford University Press
Volume:   2
Dimensions:   Width: 17.30cm , Height: 2.10cm , Length: 24.90cm
Weight:   0.605kg
ISBN:  

9780198530268


ISBN 10:   0198530269
Pages:   264
Publication Date:   21 July 2005
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Table of Contents

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

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now