Synopsis
The book aims to formalise tableau methods for the logics of propositions and names. The methods described are based on Set Theory. The tableau rule was reduced to an ordered n-tuple of sets of expressions where the first element is a set of premises, and the following elements are its supersets.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Tableau Methods for Propositional Logic and Term Logic
Image d'archives
Tableau Methods for Propositional Logic and Term Logic
Edité par
Peter Lang GmbH, Internationaler Verlag der Wissenschaften, 2021
ISBN 10 : 3631833725
ISBN 13 : 9783631833728
Neuf
Couverture rigide
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur CX-9783631833728
Acheter neuf
EUR 59,69
Expédition à EUR 4,82
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Tableau Methods for Propositional Logic and Term Logic
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 42540195-n
Acheter neuf
EUR 63,73
Expédition à EUR 2,29
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Tableau Methods for Propositional Logic and Term Logic
Edité par
Peter Lang GmbH, Internationaler Verlag der Wissenschaften, 2021
ISBN 10 : 3631833725
ISBN 13 : 9783631833728
Neuf
Couverture rigide
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur CX-9783631833728
Acheter neuf
EUR 66,09
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
Tableau Methods for Propositional Logic and Term Logic
Edité par
Peter Lang, 2021
ISBN 10 : 3631833725
ISBN 13 : 9783631833728
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 42540195
Acheter D'occasion
EUR 65,64
Expédition à EUR 2,29
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Tableau Methods for Propositional Logic and Term Logic (Polish Contemporary Philosophy and Philosophical Humanities)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783631833728_new
Acheter neuf
EUR 61,51
Expédition à EUR 13,88
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Tableau Methods for Propositional Logic and Term Logic
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 42540195-n
Acheter neuf
EUR 59,68
Expédition à EUR 17,38
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Tableau Methods for Propositional Logic and Term Logic: 20 (Studies in Philosophy, History of Ideas and Modern Societies)
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. 2021. New. hardcover. . . . . . N° de réf. du vendeur V9783631833728
Acheter neuf
EUR 70,28
Expédition à EUR 10,50
Expédition depuis Irlande vers Etats-Unis
Expédition depuis Irlande vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Tableau Methods for Propositional Logic and Term Logic
Edité par
Peter Lang, 2021
ISBN 10 : 3631833725
ISBN 13 : 9783631833728
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 42540195
Acheter D'occasion
EUR 67,69
Expédition à EUR 17,38
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Tableau Methods for Propositional Logic and Term Logic
Edité par
Peter Lang Jan 2021, 2021
ISBN 10 : 3631833725
ISBN 13 : 9783631833728
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book aims to formalise tableau methods for the logics of propositions and names. The methods described are based on Set Theory. The tableau rule was reduced to an ordered n-tuple of sets of expressions where the first element is a set of premises, and the following elements are its supersets. 228 pp. Englisch. N° de réf. du vendeur 9783631833728
Acheter neuf
EUR 67,95
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Tableau Methods for Propositional Logic and Term Logic: 20 (Studies in Philosophy, History of Ideas and Modern Societies)
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. 2021. New. hardcover. . . . . . Books ship from the US and Ireland. N° de réf. du vendeur V9783631833728
Acheter neuf
EUR 88,21
Expédition à EUR 9,10
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles