Turing-Machine Computable Functionals of Finite Types I / Stephen Cole Kleene
Material type: ArticleLanguage: English Subject(s): Lógica Matemática In: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 38-46Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Artículo de colaboración | San Esteban Depósito de libros | 25/A6 (Browse shelf (Opens below)) | Available |