Picture 1 of 1

Stock photo

Studies in Logic and the Foundations of Mathematics Ser.: Handbook of Computabil - Picture 1 of 1

Studies in Logic and the Foundations of Mathematics Ser.: Handbook of Computability Theory by E. R. Griffor (1999, Hardcover)

drn.enterprises (1262)

100% positive feedback

Price:

US $87.95

ApproximatelyRM 376.27

+ $32.16 shipping

Estimated delivery Wed, 27 Aug - Thu, 11 Sep

Returns:

30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.

Condition:

Brand New

About this product

Product Identifiers

PublisherElsevier Science & Technology

ISBN-100444898824

ISBN-139780444898821

eBay Product ID (ePID)1854171

Product Key Features

Number of Pages724 Pages

Publication NameHandbook of Computability Theory

LanguageEnglish

SubjectLogic, Discrete Mathematics

Publication Year1999

TypeTextbook

AuthorE. R. Griffor

Subject AreaMathematics

SeriesStudies in Logic and the Foundations of Mathematics Ser.

FormatHardcover

Dimensions

Item Weight44 Oz

Item Length9.4 in

Item Width6.3 in

Additional Product Features

Intended AudienceScholarly & Professional

LCCN99-025568

Series Volume NumberVolume 140

Volume NumberVolume 140

IllustratedYes

Dewey Decimal511.3

Table Of ContentPart 1: Fundamentals of Computability Theory Part 2: Reducibilities and Degrees Part 3: Generalized Computability Theory Part 4: Mathematics and Computability Theory Part 5: Logic and Computability Theory Part 6: Computer Science and Computability Theory

SynopsisThe chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers.

LC Classification NumberQA9.59.H36 1999