Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Vetenskap
  5. Tableau Methods for Propositional Logic and Term Logic

Tableau Methods for Propositional Logic and Term Logic

av Tomasz Jarmuzek

del av Polish Contemporary Philosophy and Philosophical Humanities-serien

del av Studies in Philosophy, History of Ideas and Modern Societies-serien

Tableau Methods for Propositional Logic and Term Logic av Tomasz Jarmuzek
Om Tableau Methods for Propositional Logic and Term Logic

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783631833728
  • Format:
  • Inbunden
  • Sidor:
  • 228
  • Utgiven:
  • 27 Januari 2021
  • Utgåva:
  • Mått:
  • 218x156x22 mm.
  • Vikt:
  • 442 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 11 Oktober 2024

Om Tomasz Jarmuzek

Se alla böcker av Tomasz Jarmuzek

Beskrivning av Tableau Methods for Propositional Logic and Term Logic

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.

Användarnas betyg av Tableau Methods for Propositional Logic and Term Logic



Andra köpte även...
Hitta liknande böcker
Boken Tableau Methods for Propositional Logic and Term Logic finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.