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

Tableau Methods for Propositional Logic and Term Logic: Studies in Philosophy, History of Ideas and Modern Societies, cartea 20

Autor Tomasz Jarmu¿ek
en Limba Engleză Hardback – 27 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 Studies in Philosophy, History of Ideas and Modern Societies

  • 23% History of Skepticism
    Preț: 41930 lei
  • Unmöglichkeit der Erkenntnistheorie
    Preț: 51605 lei
  • 27% Controversy over the Existence of the World
    Preț: 80518 lei
  • Post-Analytical Approach to Philosophy and Theory of Law
    Preț: 47358 lei
  • Eustress and Distress: Reactivation
    Preț: 47949 lei
  • 23% Geschichte Des Neukantianismus
    Preț: 65491 lei
  • Treachery of the Elites
    Preț: 43946 lei
  • 23% Philosophical System of Siva Satakam and Other Saiva Poems by Narayana Guru
    Preț: 46300 lei
  • 23% Logic and Its Philosophy
    Preț: 47489 lei
  • On Property and Ownership Relations
    Preț: 42190 lei
  • Action, Belief, and Community
    Preț: 51859 lei
  • Towards Scientific Metaphysics, Volume 1
    Preț: 40191 lei
  • 23% Towards Scientific Metaphysics, Volume 2
    Preț: 45267 lei
  • 23% Why Is There I Rather Than It?
    Preț: 42622 lei
  • 19% Essays on Logic and its Applications in Philosophy
    Preț: 63922 lei

Preț: 42384 lei

Preț vechi: 55045 lei
-23%

Puncte Express: 636

Carte tipărită la comandă

Livrare economică 09-23 noiembrie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783631833728
ISBN-10: 3631833725
Pagini: 228
Dimensiuni: 153 x 216 x 17 mm
Greutate: 0.41 kg
Ediția:1. Auflage
Editura: PETER LANG
Colecția Studies in Philosophy, History of Ideas and Modern Societies
Seria Studies in Philosophy, History of Ideas and Modern Societies

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