Blank Cover Image
このページのQRコード

The foundations of intuitionistic mathematics : especially in relation to recursive functions

種類:
図書
責任表示:
[by] Stephen Cole Kleene [and] Richard Eugene Vesley
出版情報:
Amsterdam : North-Holland Pub. Co., 1965
著者名:
シリーズ名:
Studies in logic and the foundations of mathematics <BA00099329>
注記:
"Bibliography, by S. C. Kleene": p. [187]-199
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Algorithms and recursive functions

Malʹt︠s︡ev, A. I. (Anatoliĭ Ivanovich), 1909-1967, Boron, Leo F., Sanchis, Luis E., Stillwell, John, 井関, 清志(1919-)

Wolters-Noordhoff
7 図書 Recursive functionals

Sanchis, Luis E.

North-Holland
2 図書 Recursive functions

Péter, Rózsa, 1905-, Földes, István

Academic Press
8 図書 Recursive macroeconomic theory

Ljungqvist, Lars, Sargent, Thomas J.

MIT Press
3 図書 Recursive functions in computer theory

Péter, Rózsa, 1905-

Ellis Horwood, Halsted Press
9 図書 Recursive methods in economic dynamics

Stokey, Nancy L., Lucas, Robert E., 1937-, Prescott, Edward C.

Harvard University Press
4 図書 Theory of recursive functions and effective computability

Rogers, H. (Hartley), 1926-

McGraw-Hill
10 図書 Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics

Wallen, Lincoln A.

MIT Press
5 図書 Proof theory and intuitionistic systems

Scarpellini, Bruno

Springer-Verlag
11 図書 Stochastic approximation and recursive algorithms and applications

Kushner, Harold J. (Harold Joseph), 1933-, Yin, George, 1954-

Springer
6 図書 Metamathematical investigation of intuitionistic arithmetic and analysis

Troelstra, A. S. (Anne Sjerp)

Springer
12 図書 Two papers on the predicate calculus

Kleene, Stephen Cole, 1909-

American Mathematical Society