Substructural Logics: A Primer: 13 (Trends in Logic, 13) - Image 1

£156.31

Springer Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Name: Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Brand: Springer
Price: 156.31 GBP
Availability: InStock

Algebra

This is the most expensive it has ever been. Walk away.

£156 today · previous high £156 · all-time low £152

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 77 days · 77 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 77 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £152 (76 days, 98.7%)

Price range: £152 - £156

Price levels: 2 different prices over 77 days

Description

The aim of the present book is to give a comprehensive account of the ‘state of the art’ of substructural logics, focusing both on their proof theory (especially on sequent calculi and their generalizations) and on their semantics (both algebraic and relational. It is for graduate students in either philosophy, mathematics, theoretical computer science or theoretical linguistics as well as specialists and researchers. Review From the reviews: "This is a well written introduction to … substructural logics. … The author’s aim is to deal with a particular group of these logics … . In fact, the book could be well used as a textbook for an undergraduate course, or even for a beginning graduate course. … A further advantage of the text is that the logics are introduced in a new unified notational system making the first chapters a handy reference for any logician who works in this area of logic." (Katalin Bimbo, Mathematical Reviews, Issue 2005 b)

Product Specifications

Brand: Springer
Format: paperback
ASIN: 9048160146
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Algebra
Domain: Amazon UK
Publication Date: 12 December 2011
Listed Since: 01 October 2010

Barcode

No barcode data available

Springer Substructural Logics: A Primer: 13 (Trends in Logic, 13)

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Elementary Formal Logic: A Programmed Course: 11 (Routledge Library Editions: Logic)

Logic and Structure (Universitext)

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Displaying Modal Logic: 3 (Trends in Logic, 3)

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Routledge - An Introduction to Substructural Logics Book

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

An Introduction to Substructural Logics

Symbolic Logic (Palgrave Philosophy Today)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Mathematical Logic through Python

Simple Formal Logic: With Common-Sense Symbolic Techniques

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)