Recursive Equivalence Types and Combinatorial Functions / John Myhill
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. 46-56
| Item 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 |