Your search returned 2 results.

1.
No cover image available
Turing-Machine Computable Functionals of Finite Types I / Stephen Cole Kleene

by Kleene, Stephen Cole.

Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 38-46Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/A6 (1).
2.
No cover image available
Mathematical Logic / Stephen Cole Kleene

by Kleene, Stephen Cole.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : John Wile & Sons , 1967Availability: Items available for loan: Call number: 24/A2 (1).

Bibliotecas Dominicos Provincia Hispania, 2016

Con tecnología Koha