Tableau Methods for Propositional Logic and Term Logic - Studies in Philosophy, History of Ideas and Modern Societies - Tomasz Jarmuzek - Grāmatas - Peter Lang AG - 9783631833728 - 2021. gada 27. janvāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Tomasz Jarmuzek
Tableau Methods for Propositional Logic and Term Logic - Studies in Philosophy, History of Ideas and Modern Societies New edition

Cena
€ 69,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 29. okt. - . gada 6. nov.
Saņemiet paziņojumus par jauniem Tomasz Jarmuzek izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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 pages

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2021. gada 27. janvāris
ISBN13 9783631833728
Izdevēji Peter Lang AG
Lapas 228
Izmēri 218 × 156 × 22 mm   ·   442 g
Valoda Vācu  

Vairāk no Tomasz Jarmuzek

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus Tomasz Jarmuzek