國立虎尾科技大學 |

Language: English

Back

Classical recursion theory = the the...

Odifreddi, Piergiorgio, (1950-)

Classical recursion theory = the theory of functions and sets of natural numbers /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Classical recursion theory/ Piergiorgio Odifreddi.
Reminder of title:	the theory of functions and sets of natural numbers /
Author:	Odifreddi, Piergiorgio,
Published:	Amsterdam ;North-Holland ; : 1989-1999.,
Description:	2 v. :ill. ; : 23 cm.;
Subject:	Recursion theory. -
Online resource:	Volume 2click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:	9780444502056 (v. 2 : electronic bk.)

Classical recursion theory = the theory of functions and sets of natural numbers /
Odifreddi, Piergiorgio,1950-

Classical recursion theorythe theory of functions and sets of natural numbers /[electronic resource] :Piergiorgio Odifreddi. - Amsterdam ;North-Holland ;1989-1999. - 2 v. :ill. ;23 cm. - Studies in logic and the foundations of mathematics ;v. 125, 143.

Includes bibliographical references and indexes.

v. 1. (v.125) -- v. 2 (v.143).

ISBN: 9780444502056 (v. 2 : electronic bk.)

LCCN: 88033481 Subjects--Topical Terms:

575916
Recursion theory.

LC Class. No.: QA9.6 / .O35 1989

Dewey Class. No.: 511.3

Classical recursion theory = the theory of functions and sets of natural numbers /
LDR:01028cam a2200241 a 45 001 807481
005 20130401152828.0
008 150720m19891999ne a sb 001 0 eng
010 $a 88033481
020 $a 9780444502056 (v. 2 : electronic bk.)
020 $a 9780444502056 (v. 2)
020 $a 9780444872951 (v. 1)
035 $a 13000553
040 $a DLC $c DLC $d DLC
041 0 $a eng
050 0 0 $a QA9.6 $b .O35 1989
082 0 0 $a 511.3 $2 19
100 1 $a Odifreddi, Piergiorgio, $d 1950- $3 902743
245 1 0 $a Classical recursion theory $h [electronic resource] : $b the theory of functions and sets of natural numbers / $c Piergiorgio Odifreddi.
260 $a Amsterdam ; $a New York : $b North-Holland ; $a New York, N.Y., USA : $b Sole distributors for the USA and Canada, Elsevier Science Pub. Co., $c 1989-1999.
300 $a 2 v. : $b ill. ; $c 23 cm.
490 0 $a Studies in logic and the foundations of mathematics ; $v v. 125, 143
504 $a Includes bibliographical references and indexes.
505 0 $a v. 1. (v.125) -- v. 2 (v.143).
650 0 $a Recursion theory. $3 575916
856 4 0 $u http://www.sciencedirect.com/science/book/9780444502056 $z Volume 2 $z click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)

Multimedia

Reviews

Export

pickup library