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

£61.99

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

Name: Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
Brand: Cambridge University Press
Price: 59.83 GBP
Availability: InStock

Digital Lifestyle

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 29 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £59 (13 days, 44.8%)

Price range: £59 - £62

Price levels: 3 different prices over 29 days

Description

Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses.

Product Specifications

Brand: Cambridge University Press
Format: paperback
ASIN: 0521019028
Category: Books > Subjects > Computing & Internet > Digital Lifestyle
Domain: Amazon UK
Release Date: 21 August 2008
Listed Since: 04 January 2007

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Type Theory and Formal Proof: An Introduction

Logic for Applications (Texts in Computer Science)

Logic in Computer Science: Modelling and Reasoning about Systems

Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution: 32 (Cambridge Tracts in Theoretical Computer Science, Series Number 32)

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

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)

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

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

Introduction to Mathematical Logic: Extended Edition

A Short Introduction to Intuitionistic Logic (University Series in Mathematics)

Logical Foundations of Proof Complexity (Perspectives in Logic)

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

Modal Logic: An Introduction to its Syntax and Semantics

Logic for Mathematicians

A Philosophical Introduction to Higher-order Logics

Springer - A Short Introduction to Intuitionistic Logic Book

Mathematical Logic through Python

Lambda-Calculus and Combinators: An Introduction

Oxford University Press - Fragments of First-Order Logic

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

Routledge - A Philosophical Introduction to Higher-order Logics

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

An Introduction to Classical and Modal Logics: The Outlines of Knowledge (Cambridge Introductions to Philosophy)