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

Recursion on the countable functionals

種類:
図書
責任表示:
Dag Normann
出版情報:
Berlin ; New York : Springer-Verlag, 1980
著者名:
Normann, Dag, 1947- <DA03015321>  
シリーズ名:
Lecture notes in mathematics ; 811 <BA00146586>
ISBN:
9783540100195 [3540100199] (: Berlin)  CiNii Books  Calil
9780387100197 [0387100199] (: New York)  CiNii Books  Calil
注記:
Bibliography: p. 186-187
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 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
7 図書 Recursion theory for metamathematics

Smullyan, Raymond M., 1919-

Oxford University Press
2 電子ブック Recursion on the Countable Functionals

Normann, D., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Local properties of distributions of stochastic functionals

Davydov, I︠U︡. A. (I︠U︡riĭ Aleksandrovich), 1944-, Lifshit︠s︡, M. A. (Mikhail Anatolʹevich), 1956-, &hellip;

American Mathematical Society
3 図書 Computability, an introduction to recursive function theory

Cutland, Nigel

Cambridge University Press
9 図書 Weak continuity and weak lower semicontinuity of non-linear functionals

Dacorogna, Bernard, 1953-

Springer-Verlag
4 図書 Recursion theory

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

Springer-Verlag
10 図書 First-order dynamic logic

Harel, David, 1950-

Springer-Verlag
5 図書 Techniques of admissible recursion theory

Chong, Chi-Tat, 1949-

Springer-Verlag
11 図書 Regressive sets and the theory of isols

McLaughlin, Thomas G.

M. Dekker
6 図書 Complexity, logic, and recursion theory

Sorbi, Andrea, 1956-

Marcel Dekker
12 図書 Diagonalization and self-reference

Smullyan, Raymond M., 1919-

Clarendon Press