>> Amazon.co.jp
このページのQRコード

Techniques of admissible recursion theory

種類:
図書
責任表示:
C.T. Chong
出版情報:
Berlin ; New York : Springer-Verlag, 1984
著者名:
Chong, Chi-Tat, 1949- <DA01158000>  
シリーズ名:
Lecture notes in mathematics ; 1106 <BA00146586>
ISBN:
9783540139027 [3540139028] (: gw)  CiNii Books  Calil
9780387139029 [0387139028] (: us)  CiNii Books  Calil
注記:
Bibliography: p. [206]-211
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Techniques of Admissible Recursion Theory

Chong, C. T., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 図書 Regressive sets and the theory of isols

McLaughlin, Thomas G.

M. Dekker
2 図書 Recursion theory

Shoenfield, Joseph R. (Joseph Robert), 1927-

Springer-Verlag
8 図書 Computability, an introduction to recursive function theory

Cutland, Nigel

Cambridge University Press
3 図書 Complexity, logic, and recursion theory

Sorbi, Andrea, 1956-

Marcel Dekker
9 図書 Recursion theory

AMS-ASL Summer Institute on Recursion Theory, Nerode, Anil, 1932-, Shore, Richard A., 1946-, American Mathematical &hellip;

American Mathematical Society
4 図書 Recursion theory for metamathematics

Smullyan, Raymond M., 1919-

Oxford University Press
10 図書 RECURSION THEORY

<ED. BY> NERODE, ANIL, SHORE, RICHARD A.

AMERICAN MATHEMATICAL SOCIETY
5 図書 Computability, enumerability, unsolvability : directions in recursion theory

Cooper, S. B. (S. Barry), Slaman, T. A. (Theodore Allen), 1954-, Wainer, S. S, London Mathematical Society

Cambridge University Press
11 電子ブック Recursion Theory and Computational Complexity

Lolli, G., SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg
6 図書 Recursion on the countable functionals

Normann, Dag, 1947-

Springer-Verlag
12 図書 First-order dynamic logic

Harel, David, 1950-

Springer-Verlag