General recursion theory : An axiomatic approach /

Պահպանված է:
Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Fenstad, Jens Erik
Ձևաչափ: Գիրք
Լեզու:English
Հրապարակվել է: Berlin ; New York : Springer-Verlag, 1980.
Շարք:Perspectives in Mathematical Logic
Խորագրեր:
Recursion theory
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
LEADER 00696pam a2200241 i 4500
001 000547564
003 AM-YeHGA
005 20210831153047.0
008 790417s1980 gw b 001 0 eng d
020 |a 0387093494 
040 |a AM-YeHGA  |c AM-YeHGA 
041 0 |a eng 
082 0 0 |a 511/.3 
100 1 |a Fenstad, Jens Erik. 
245 1 0 |a General recursion theory :  |b An axiomatic approach /  |c Jens E. Fenstad. 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c 1980. 
300 |a xi, 225 p. ;  |c 25 cm. 
440 0 |a Perspectives in Mathematical Logic 
500 |a Includes indexes. 
504 |a Bibliogr.: p. [209]-216. 
650 0 |a Recursion theory 
999 |c 210154 
952 |o Gulb/5415  |p 901005415 

Նմանատիպ նյութեր