國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Generalized recursion theory = proce...

~

Hinman, Peter G.,

Generalized recursion theory = proceedings of the 1972 Oslo symposium /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Generalized recursion theory/ Ed. by J. E. Fenstad and P. G. Hinman.
Reminder of title:	proceedings of the 1972 Oslo symposium /
other author:	Fenstad, Jens Erik,
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Amsterdam :North-Holland Pub. Co. ; : 1974.,
Description:	viii, 456 p. ;23 cm.;
Subject:	Recursion theory - Congresses. -
Online resource:	click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:	9780444105455 (electronic bk.)

Generalized recursion theory = proceedings of the 1972 Oslo symposium /
Generalized recursion theoryproceedings of the 1972 Oslo symposium /[electronic resource] :Ed. by J. E. Fenstad and P. G. Hinman. - Amsterdam :North-Holland Pub. Co. ;1974. - viii, 456 p. ;23 cm. - Studies in logic and the foundations of mathematics,v. 79.

Bibliography: p. 445-451.

ISBN: 9780444105455 (electronic bk.)

LCCN: 73081531 Subjects--Topical Terms:

904561
Recursion theory
--Congresses.

LC Class. No.: QA9.6 / .S95 1972

Dewey Class. No.: 511/.3

Generalized recursion theory = proceedings of the 1972 Oslo symposium /
LDR:00864cam a2200217 45 001 808141
005 20130410135458.0
008 150720s1974 ne sb 101 0 eng
010 $a 73081531
020 $a 9780444105455 (electronic bk.)
020 $a 9780444105455
035 $a 13001475
040 $a DLC $c DLC $d DLC
041 0 $a eng
050 0 0 $a QA9.6 $b .S95 1972
082 0 0 $a 511/.3
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Generalized recursion theory $h [electronic resource] : $b proceedings of the 1972 Oslo symposium / $c Ed. by J. E. Fenstad and P. G. Hinman.
260 $a Amsterdam : $b North-Holland Pub. Co. ; $a New York : $b American Elsevier Pub. Co., $c 1974.
300 $a viii, 456 p. ; $c 23 cm.
490 0 $a Studies in logic and the foundations of mathematics, $v v. 79
504 $a Bibliography: p. 445-451.
650 0 $a Recursion theory $x Congresses. $3 904561
700 1 $a Fenstad, Jens Erik, $e ed. $3 904562
700 1 $a Hinman, Peter G., $e ed. $3 904563
856 4 0 $u http://www.sciencedirect.com/science/book/9780444105455 $z click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)

based on 0 review(s)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login