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

Recursion theory

種類:
図書
責任表示:
Joseph R. Shoenfield
出版情報:
Berlin ; New York : Springer-Verlag, c1993
著者名:
Shoenfield, Joseph R. (Joseph Robert), 1927- <DA06749525>  
シリーズ名:
Lecture notes in logic ; 1 <BA21291492>
ISBN:
9783540570936 [3540570934] (: gw)  CiNii Books  Calil
9780387570938 [0387570934] (: us)  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Techniques of admissible recursion theory

Chong, Chi-Tat, 1949-

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

Cutland, Nigel

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

Sorbi, Andrea, 1956-

Marcel Dekker
8 図書 Recursion theory

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

American Mathematical Society
3 図書 Recursion theory for metamathematics

Smullyan, Raymond M., 1919-

Oxford University Press
9 図書 RECURSION THEORY

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

AMERICAN MATHEMATICAL SOCIETY
4 図書 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
10 電子ブック Recursion Theory and Computational Complexity

Lolli, G., SpringerLink (Online service)

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

Normann, Dag, 1947-

Springer-Verlag
11 電子ブック Techniques of Admissible Recursion Theory

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

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

McLaughlin, Thomas G.

M. Dekker
12 図書 First-order dynamic logic

Harel, David, 1950-

Springer-Verlag