Téléchargez le livre : Tableau Methods for Propositional Logic and Term Logic

Tableau Methods for Propositional Logic and Term Logic

de

Paru le : 2021-06-23

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.
Voir tout
Ce livre est accessible aux handicaps Voir les informations d'accessibilité
Ebook téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Compatible lecture en ligne (streaming)
60,24 €
Ajouter à ma liste d'envies
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader

Description du livre

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.

À propos

Auteur
Tomasz Jarmuzek
Éditeur
Peter Lang GmbH, Internationaler Verlag der Wissenschaften
Collection
n.c
Parution
2021-06-23
Pages
228 pages
EAN papier
9783631833728

Auteur(s) du livre


Defaut-Illustration Tomasz Jarmuzek

Caractéristiques détaillées - droits

EAN PDF
9783631846537
Prix
60,24 €
Nombre pages copiables
45
Nombre pages imprimables
45
Taille du fichier
2427 Ko
Ce livre est accessible aux handicaps informations d'accessibilité
EAN EPUB
9783631846667
Prix
60,24 €
Nombre pages copiables
45
Nombre pages imprimables
45
Taille du fichier
4424 Ko
Ce livre est accessible aux handicaps informations d'accessibilité

Suggestions personnalisées