We use cookies to provide essential features and services. By using our website you agree to our use of cookies .

×

Warehouse Stock Clearance Sale

Grab a bargain today!


Proof and Disproof in Formal Logic
By

Rating

Product Description
Product Details

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

The text is written in a reasonably informal but sufficiently precise manner and, moreover, it is very lively.
*EMS Newsletter*

Ask a Question About this Product More...
 
Look for similar items by category
People also searched for
Item ships from and is sold by Fishpond World Ltd.

Back to top