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]) Cover Image

Metoda tablicowa a poprawność rozumowań (Rec.: Tomasz Jarmużek, Formalizacja metod tablicowych dla logik zdań i logik nazw)
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])

Author(s): Mateusz Klonowski
Subject(s): Book-Review
Published by: Towarzystwo Naukowe KUL & Katolicki Uniwersytet Lubelski Jana Pawła II
  • Issue Year: 64/2016
  • Issue No: 2
  • Page Range: 155-158
  • Page Count: 4
  • Language: Polish
Toggle Accessibility Mode