Cargando…

Recursion theory /

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 1st publication in the Lecture Not...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Shoenfield, Joseph R. (Joseph Robert), 1927- (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge : Cambridge University Press, [2016]
Colección:Lecture notes in logic ; 1.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Ii 4500
001 EBSCO_ocn982187154
003 OCoLC
005 20231017213018.0
006 m o d
007 cr mn|||||||||
008 170412t20162016enk ob 001 0 eng d
040 |a LGG  |b eng  |e rda  |e pn  |c LGG  |d OCLCO  |d EBLCP  |d IDEBK  |d N$T  |d NOC  |d YDX  |d UIU  |d OCLCF  |d OSU  |d OCLCQ  |d U3W  |d COO  |d UKAHL  |d CLU  |d OCLCQ  |d OCLCO  |d OCLCQ  |d K6U  |d OCLCO  |d N$T  |d OCL  |d OCLCQ  |d OCLCO 
019 |a 982240734  |a 982280133  |a 982330515  |a 982399288  |a 982424525  |a 982515741  |a 982538989  |a 982591231  |a 982740297  |a 982853591 
020 |a 9781107168084 
020 |a 1107168082 
020 |a 9781316717011  |q (electronic bk.) 
020 |a 1316717011  |q (electronic bk.) 
020 |z 9781107168084  |q (hardback) 
020 |z 1107168082  |q (hardback) 
020 |z 9781316754771 
020 |z 1316754774 
020 |z 9781316748985 
020 |z 1316748987 
029 1 |a AU@  |b 000062882215 
029 1 |a CHNEW  |b 000953018 
035 |a (OCoLC)982187154  |z (OCoLC)982240734  |z (OCoLC)982280133  |z (OCoLC)982330515  |z (OCoLC)982399288  |z (OCoLC)982424525  |z (OCoLC)982515741  |z (OCoLC)982538989  |z (OCoLC)982591231  |z (OCoLC)982740297  |z (OCoLC)982853591 
050 4 |a QA9.6 
072 7 |a MAT  |x 000000  |2 bisacsh 
082 0 4 |a 511.3/5 
049 |a UAMI 
100 1 |a Shoenfield, Joseph R.  |q (Joseph Robert),  |d 1927-  |e author. 
245 1 0 |a Recursion theory /  |c Joseph R. Shoenfield, Duke University, North Carolina. 
264 1 |a Cambridge :  |b Cambridge University Press,  |c [2016] 
264 4 |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 
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 1st publication in the Lecture Notes in Logic series, Shoenfield gives a clear and focused introduction to recursion theory. The fundamental concept of recursion 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. 
504 |a Includes bibliographical references and index. 
505 0 |a Functions and relations -- The basic machine -- Macros -- Closure properties -- Definitions of recursive functions -- Codes -- Indices -- Church's thesis -- Word problems -- Undecidable theories -- Relative recursion -- The arithmetical hierarchy -- Recursively enumerable relations -- Degrees -- Evaluation of degrees -- Large RE sets -- Function of reals -- The analytical hierarchy -- The projective hierarchy. 
588 0 |a Print version record. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Recursion theory. 
650 0 |a Computer science. 
650 0 |a Mathematics. 
650 0 |a Logic. 
650 0 |a Electronic data processing. 
650 6 |a Théorie de la récursivité. 
650 6 |a Informatique. 
650 6 |a Mathématiques. 
650 7 |a computer science.  |2 aat 
650 7 |a data processing.  |2 aat 
650 7 |a applied mathematics.  |2 aat 
650 7 |a mathematics.  |2 aat 
650 7 |a MATHEMATICS  |x General.  |2 bisacsh 
650 7 |a Electronic data processing  |2 fast 
650 7 |a Computer science  |2 fast 
650 7 |a Logic  |2 fast 
650 7 |a Mathematics  |2 fast 
650 7 |a Recursion theory  |2 fast 
776 0 8 |i Electronic reproduction of (manifestation):  |a SHOENFIELD, JOSEPH R.  |t RECURSION THEORY.  |d [Place of publication not identified] : CAMBRIDGE UNIV Press, 2016  |z 1107168082  |w (OCoLC)959527607 
830 0 |a Lecture notes in logic ;  |v 1. 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475798  |z Texto completo 
938 |a Askews and Holts Library Services  |b ASKH  |n AH34211155 
938 |a Askews and Holts Library Services  |b ASKH  |n AH32658266 
938 |a Askews and Holts Library Services  |b ASKH  |n AH32588633 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL4812302 
938 |a EBSCOhost  |b EBSC  |n 1475798 
938 |a ProQuest MyiLibrary Digital eBook Collection  |b IDEB  |n cis38009340 
938 |a YBP Library Services  |b YANK  |n 14008055 
938 |a YBP Library Services  |b YANK  |n 14007743 
938 |a YBP Library Services  |b YANK  |n 13972498 
994 |a 92  |b IZTAP