Cantitate/Preț
Produs
Total produse
Vezi coșul
Tableau Methods for Propositional Logic and Term Logic de Tomasz Jarmuzek

Tableau Methods for Propositional Logic and Term Logic: Polish Contemporary Philosophy and Philosophical Humanities

Autor Tomasz Jarmuzek
en Limba Engleză Hardback – 26 ian 2021
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.
Citește tot Restrânge

Din seria Polish Contemporary Philosophy and Philosophical Humanities

  • 8% Lógos and Máthema 2
    Preț: 39912 lei
  • Action, Belief, and Community
    Preț: 51656 lei
  • On Property and Ownership Relations
    Preț: 42177 lei
  • 23% Logos and Mathēma
    Preț: 54982 lei
  • 8% Essays on Logic and Its Applications in Philosophy: Das Individuum ALS Herausforderung Fuer Das Voelkerrecht. Beitraege Zum 34. Oesterreichischen Voelker
    Preț: 50580 lei
  • 23% Knowledge, Being and the Human
    Preț: 42505 lei
  • 23% Controversy Over the Existence of the World: Volume I
    Preț: 52848 lei
  • 23% Philosophical Heuristics
    Preț: 46719 lei
  • The Notion of Lebendige Gegenwart as Compliance with the Temporality of the -Now-: The Late Husserl's Phenomenology of Time
    Preț: 15901 lei

Preț: 42227 lei

Preț vechi: 54840 lei
-23% Nou

Puncte Express: 633
Preț estimativ în valută:
8081€ • 8386$ • 6754£

Carte tipărită la comandă

Livrare economică 17-31 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783631833728
ISBN-10: 3631833725
Pagini: 228
Dimensiuni: 148 x 210 x 22 mm
Greutate: 0.45 kg
Editura: Peter Lang Copyright AG
Seria Polish Contemporary Philosophy and Philosophical Humanities

Notă biografică

Tomasz Jarmuzek is a Professor at the Nicolaus Copernicus University in Torun. His activity concerns i.a. philosophical logic and its applications in philosophical problems. He is interested in metatheory, the use of binding and positional logic, and proof theory with emphasis on tableau methods.

Cuprins

logic - logic of names - philosophical logic - proof theory - propositional logic - tableau methods