机读格式显示(MARC)

• 000 01812cam a2200313 i 4500

• 001 0000605823

• 005 20220307150200.0

• 006 m_ d

• 007 cr cn

• 008 180529s2016 enk s 001 0 eng d

• 020 __ |a 9781316731611

• 020 __ |a 9781107168084

• 040 __ |a UkCbUP |b eng |e rda |c UkCbUP |d NIC

• 050 _4 |a QA9.6 |b .S48 2016

• 082 04 |a 511.3/5 |2 23

• 093 __ |a O141.3 |2 5

• 100 1_ |a Shoenfield, Joseph R., |e author.

• 245 10 |a Recursion theory / |c Joseph R. Shoenfield.

• 264 _1 |a Cambridge : |b Cambridge University Press, |c 2016.

• 300 __ |a 1 online resource (84 pages)

• 336 __ |a text |b txt |2 rdacontent

• 337 __ |a computer |b c |2 rdamedia

• 338 __ |a online resource |b cr |2 rdacarrier

• 490 1_ |a Lecture notes in logic ; |v 1

• 500 __ |a Includes index.

• 500 __ |a Description based on print version record.

• 520 __ |a Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the first publication in the Lecture Notes in Logic series, Shoenfield gives a clear and focused introduction to recursion theory. The fundamental concept of recursion makes the idea of computability accessible to a mathematical analysis, thus forming one of the pillars on which modern computer science rests. This introduction is an ideal instrument for teaching and self-study that prepares the reader for the study of advanced monographs and the current literature on recursion theory.

• 650 _0 |a Recursion theory.

• 856 4_ |u http://www.itextbook.cn/f/book/bookDetail?bookId=a9284d28c1e1446c8315e581fc50ff30 |z An electronic book accessible through the World Wide Web; click to view