Tableau Methods for Propositional Logic and Term Logic

Gespeichert in:
1. Verfasser:
Jarmużek, Tomasz
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Bern Peter Lang International Academic Publishers 2021
Umfang:
1 electronic resource (228 pages)
Anmerkungen:
English
ISBN:
9783631833728
Zugangseinschränkungen:
Open Access
Schlagworte:
Formalization
Gałecki
Hartman
Iwona
Jarmuzek
Leśniewicz
Logic
logic of names
logical
Łukasz
Methods
philosophical logic
proof theory
Propositional
propositional logic
Sentences
Tableau
tableu methods
Term
Tomasz
thema EDItEUR::Q Philosophy and Religion::QD Philosophy
Links: