Tableau Methods for Propositional Logic and Term Logic
Author:   Jan Hartman ,  Tomasz Jarmużek
Publisher:   Peter Lang AG
Edition:   New edition
Volume:   20
ISBN:  

9783631833728


Pages:   228
Publication Date:   27 January 2021
Format:   Hardback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $135.20 Quantity:  
Add to Cart

Share |

Tableau Methods for Propositional Logic and Term Logic


Overview

Full Product Details

Author:   Jan Hartman ,  Tomasz Jarmużek
Publisher:   Peter Lang AG
Imprint:   Peter Lang AG
Edition:   New edition
Volume:   20
Weight:   0.369kg
ISBN:  

9783631833728


ISBN 10:   3631833725
Pages:   228
Publication Date:   27 January 2021
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

logic – logic of names – philosophical logic – proof theory – propositional logic – tableau methods

Reviews

Author Information

Tomasz Jarmużek is a Professor at the Nicolaus Copernicus University in Toruń. His activity concerns i.a. philosophical logic and its applications in philosophical problems. He is interested in metatheory, the use of binding and positional logic, and proof theory with emphasis on tableau methods.

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