Computability and logic.

By:

Boolos, George

Contributor(s):

Material type: Text

TextPublication details: Cambridge ; New York : Cambridge University Press, 2002.Edition: 4th ed. / George S. Boolos, John P. Burgess, Richard C. JeffreyDescription: 1 online resource (xi, 356 pages) : illustrationsContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

0511078064
9780511078064
0511076495
9780511076497
9781139164931
1139164937
1107124999
9781107124998
1283329573
9781283329576
9786613329578
6613329576
0511202296
9780511202292

Subject(s): Genre/Form:

Additional physical formats: Print version:: Computability and logic.DDC classification:

511.3 22

LOC classification:

QA9.59 .B66 2002eb

Other classification:

31.10
54.10

Online resources:

Click here to access online

Contents:

Cover; Half-title; Title; Copyright; Dedication; Contents; Preface; Computability Theory; 1 Enumerability; 2 Diagonalization; 3 Turing Computability; 4 Uncomputability; 5 Abacus Computability; 6 Recursive Functions; 7 Recursive Sets and Relations; 8 Equivalent Definitions of Computability; Basic Metalogic; 9 A Précis of First-Order Logic: Syntax; 10 A Précis of First-Order Logic: Semantics; 11 The Undecidability of First-Order Logic; 12 Models; 13 The Existence of Models; 14 Proofs and Completeness; 15 Arithmetization; 16 Representability of Recursive Functions.

Summary: Now in its fourth edition, this book has become a classic because it covers not simply the staple topics of intermediate logic courses but also a large number of other topics. John Burgess has enhanced the book by adding problems at the end of each chapter and by rewriting chapters.

Item type:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Collection	Call number	Materials specified	Status	Date due	Barcode
Electronic-Books	OPJGU Sonepat- Campus	E-Books EBSCO			Available

Includes bibliographical references (page 348) and index.

Print version record.

Now in its fourth edition, this book has become a classic because it covers not simply the staple topics of intermediate logic courses but also a large number of other topics. John Burgess has enhanced the book by adding problems at the end of each chapter and by rewriting chapters.

English.

eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - Worldwide

There are no comments on this title.

to post a comment.