Classical First-Order Logic
Author:   Stewart Shapiro (Ohio State University) ,  Teresa Kouri Kissel (Old Dominion University, Virginia)
Publisher:   Cambridge University Press
Edition:   New edition
ISBN:  

9781108987004


Pages:   80
Publication Date:   19 May 2022
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $46.58 Quantity:  
Add to Cart

Share |

Classical First-Order Logic


Overview

Full Product Details

Author:   Stewart Shapiro (Ohio State University) ,  Teresa Kouri Kissel (Old Dominion University, Virginia)
Publisher:   Cambridge University Press
Imprint:   Cambridge University Press
Edition:   New edition
Dimensions:   Width: 15.10cm , Height: 0.60cm , Length: 23.00cm
Weight:   0.140kg
ISBN:  

9781108987004


ISBN 10:   1108987001
Pages:   80
Publication Date:   19 May 2022
Audience:   General/trade ,  General
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

1. Introduction; 2. Formal System; 3. Language; 4. Deduction; 5. Model-Theoretic Semantics; 6. Meta-theory; 7. Classical Higher-Order Logic; 8. Intuitionism; 9. Paraconsistency: demurring from ex falso quodlibet; 10. Conclusion.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now