-
RecordNumber
33334
-
Author
Kleene, S. C
-
Title
Formalized recursive functional= and formabized realizability
-
Author Statement
by S.C.Kleene
-
Publication
American math matical society
-
Publication Year
1969
-
Collation
106 p
-
Series
Memoirs of the American mathematical society; 89
-
Bibliography
Bibliography: p. 104-106
-
Subject
Recursine functions
-
ADDED ENTRIES
^dSeries: Memoirs of the American mathematical society; 89
-
Main Class
511
-
Sub Class
.35
-
Cutter no
K63f
-
وارد كنندة اطلاعات
farazbakht 0622^d//
-
Link To Document :
