Metoda tablicowa a poprawność rozumowań (Rec.: Tomasz Jarmużek, Formalizacja metod tablicowych dla logik zdań i logik nazw)

Mateusz Klonowski

doi:10.18290/rf.2016.64.2-9

Published : 2016-06-30

Vol. 64 No. 2 (2016)

Tableau Methods and a Validity of Arguments (Review: Tomasz JARMUŻEK, Formalizacja metod tablicowych dla logik zdań i logik nazw [Formalization of Tableau Methods for Sentences Logics and Names Logics])

Mateusz Klonowski

DOI: https://doi.org/10.18290/rf.2016.64.2-9

Details

References

Statistics

Authors

Download files

pdf (Język Polski)

Citation rules

Klonowski, M. (2016). Tableau Methods and a Validity of Arguments (Review: Tomasz JARMUŻEK, Formalizacja metod tablicowych dla logik zdań i logik nazw [Formalization of Tableau Methods for Sentences Logics and Names Logics]). Roczniki Filozoficzne, 64(2), 155–158. https://doi.org/10.18290/rf.2016.64.2-9

Altmetric indicators

Cited by / Share

Licence

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.