Computability, Enumerability, Unsolvability: Directions in Recursion Theory: 224 (London Mathematical Society Lecture Note Series, Series Number 224) - Image 1

£46.91

Cambridge University Press Computability, Enumerability, Unsolvability: Directions in Recursion Theory: 224 (London Mathematical Society Lecture Note Series, Series Number 224)

Name: Computability, Enumerability, Unsolvability: Directions in Recursion Theory: 224 (London Mathematical Society Lecture Note Series, Series Number 224)
Brand: Cambridge University Press
Price: 44.56 GBP
Availability: InStock

Set Theory

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 77 days • 7 price levels

Days at Price

Current Price

Price Analysis

Most common price: £47 (36 days, 46.8%)

Price range: £33 - £47

Price levels: 7 different prices over 77 days

Description

The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. The topics range over computable functions, enumerable sets, degree structures, complexity, subrecursiveness, domains and inductive inference. A number of the articles contain introductory and background material which it is hoped will make this volume an invaluable resource.

Product Specifications

Brand: Cambridge University Press
Format: paperback
ASIN: 0521557364
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Set Theory
Domain: Amazon UK
Release Date: 01 June 2009
Listed Since: 12 January 2007

Barcode

No barcode data available

Cambridge University Press Computability, Enumerability, Unsolvability: Directions in Recursion Theory: 224 (London Mathematical Society Lecture Note Series, Series Number 224)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers: Volume 125 (Studies in Logic and the Foundations of Mathematics, Volume 125)

Computability: An Introduction to Recursive Function Theory

Classical Recursion Theory, Volume II (Volume 143) (Studies in Logic and the Foundations of Mathematics, Volume 143)

Cambridge Higher Recursion Theory 2 - Perspectives in Logic

Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems: 286 (Synthese Library, 286)

General Recursion Theory: An Axiomatic Approach: 10 (Perspectives in Logic, Series Number 10)

Cambridge Recursion-Theoretic Hierarchies - Perspectives in Logic

COMPUTATIONAL PROSPECTS OF INFINITY - PART II: PRESENTED TALKS: 15 (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore)

Thinking Recursively

Computability

Complexity, Logic, and Recursion Theory: 187 (Lecture Notes in Pure and Applied Mathematics)

Computability Theory: An Introduction to Recursion Theory

Recursion Theory: Lecture Notes in Logic 1 (Aatdf Monographs)

Language and Recursion

COMPUTATIONAL PROSPECTS OF INFINITY - PART I: TUTORIALS (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore)

Recursion Theory: Lecture Notes in Logic 1

CRC Press - Introduction to Recursive Programming Book

Computability and Logic

Degrees of Unsolvability: Local and Global Theory: 11 (Perspectives in Logic, Series Number 11)

Complexity, Logic, and Recursion Theory: 187 (Lecture Notes in Pure and Applied Mathematics)

Language and Recursion

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

Springer - Reverse Mathematics: Problems, Reductions, and Proofs

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)