Dependence Logic: A New Approach to Independence Friendly Logic: 70 (London Mathematical Society Student Texts, Series Number 70) - Image 1

£108.99

Cambridge University Press Dependence Logic: A New Approach to Independence Friendly Logic: 70 (London Mathematical Society Student Texts, Series Number 70)

Name: Dependence Logic: A New Approach to Independence Friendly Logic: 70 (London Mathematical Society Student Texts, Series Number 70)
Brand: Cambridge University Press
Price: 72.47 GBP
Availability: InStock

Higher Education

Price History & Forecast

Last 76 days • 76 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 76 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £109 (46 days, 60.5%)

Price range: £70 - £109

Price levels: 3 different prices over 76 days

Description

Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving on the way a precise mathematical treatment of Hintikka's independence friendly logic. Dependence logic adds the concept of dependence to first order logic. Here the syntax and semantics of dependence logic are studied, dependence logic is given an alternative game theoretic semantics, and results about its complexity are proven. This is a graduate textbook suitable for a special course in logic in mathematics, philosophy and computer science departments, and contains over 200 exercises, many of which have a full solution at the end of the book. It is also accessible to readers, with a basic knowledge of logic, interested in new phenomena in logic.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 0521876591
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Education > Higher Education
Domain: Amazon UK
Release Date: 10 May 2007
Listed Since: 22 February 2007

Barcode

No barcode data available

Cambridge University Press Dependence Logic: A New Approach to Independence Friendly Logic: 70 (London Mathematical Society Student Texts, Series Number 70)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Dependence Logic: A New Approach to Independence Friendly Logic: 70 (London Mathematical Society Student Texts, Series Number 70)

Independence-Friendly Logic: A Game-Theoretic Approach: 386 (London Mathematical Society Lecture Note Series, Series Number 386)

Proper and Improper Forcing: 5 (Perspectives in Logic, Series Number 5)

Conditionals and Modularity in General Logics (Cognitive Technologies)

Type Theory and Formal Proof: An Introduction

Logic for Mathematicians

Logic in Computer Science: Modelling and Reasoning about Systems

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Introduction to Mathematical Logic: Extended Edition

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Modal Logic for Philosophers

Natural Language Semantics – Formation and Valuation (The MIT Press)

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

Logic for Applications (Texts in Computer Science)

Logical Dynamics of Information and Interaction

Propositional Logics Third Edition

The Logic in Philosophy of Science

Logical Dynamics of Information and Interaction

An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details: 70 (Synthese Library, 70)

Type-Logical Semantics

Mathematical Logic through Python

The Semantic Conception of Logic: Essays on Consequence, Invariance, and Meaning

Supervenience: New Essays

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)