Computational Logic: 165 (NATO ASI Subseries F:, 165) - Image 1

£111.23

Springer Computational Logic: 165 (NATO ASI Subseries F:, 165)

Name: Computational Logic: 165 (NATO ASI Subseries F:, 165)
Brand: Springer
Price: 112.52 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 11 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £111 (6 days, 54.5%)

Price range: £111 - £113

Price levels: 2 different prices over 11 days

Description

Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field. Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642636705
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Publication Date: 29 October 2012
Listed Since: 17 July 2013

Barcode

No barcode data available

Springer Computational Logic: 165 (NATO ASI Subseries F:, 165)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Logic of Computation: SER F / v.157 (NATO ASI)

Proof and Computation: 139 (NATO ASI Subseries F:, 139)

Logic for Applications (Texts in Computer Science)

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)

Proof and System-Reliability: v. 62 (NATO Science Series II)

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Constructive Models (Siberian School of Algebra and Logic)

Mathematical Logic for Computer Science

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Mathematical Logic and Computation

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

Logic, Language and Computation: 5 (Applied Logic Series, 5)

Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)

Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

Computability Theory and Its Applications: Current Trends and Open Problems (Contemporary Mathematics)

Mathematical Logic: An Introduction (De Gruyter Textbook)

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

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

Logic and Language Models for Computer Science: Third Edition

The Calculus of Computation: Decision Procedures with Applications to Verification

Handbook of Philosophical Logic: Volume 14

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Introduction to Mathematical Logic: Extended Edition

Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)