Kleene, S. C

Title

Formalized recursive functional= and formabized realizability

Name: Formalized recursive functional= and formabized realizability
Author: Kleene, S. C

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

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