Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Tableau Methods for Propositional Logic and Term Logic

by Jan Hartman , Tomasz Jarmużek
Save 14% Save 14%
Current price ₹5,842.00
Original price ₹6,793.00
Original price ₹6,793.00
Original price ₹6,793.00
(-14%)
₹5,842.00
Current price ₹5,842.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Hardcover
  • ISBN13: 9783631833728
  • Binding: Hardcover
  • Subject: N/A
  • Publisher: Peter Lang Gmbh, Internationaler Verlag Der W
  • Publisher Imprint: Peter Lang Gmbh, Internationaler Verlag Der W
  • Publication Date:
  • Pages: 228
  • Original Price: GBP 52.25
  • Language: English
  • Edition: New ed
  • Item Weight: 454 grams
  • BISAC Subject(s): Logic

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.

Tomasz Jarmużek is a Professor at the Nicolaus Copernicus University in Toruń. 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.

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us