Your search returned 6 results.

1.
No cover image available
Calculuses and formal systems / Haskell B. Curry

by Curry, Haskell B.

Source: Dialectica vol. 12, 1958, págs. 249-273Material type: Article Article; Format: print Language: English Availability: Items available for loan: (1).
2.
No cover image available
Modified basic Functionality in Combinatory Logic / Haskell B. Curry

by Curry, Haskell B.

Source: Dialectica vol. 23, nº. 2, 1969, págs. 83-92Material type: Article Article; Format: print Language: English Availability: Items available for loan: (1).
3.
No cover image available
Theory and Experience / Haskell B. Curry

by Curry, Haskell B.

Source: Dialectica vol. 7, 1953, págs. 176-178Material type: Article Article; Format: print Language: English Availability: Items available for loan: (1).
4.
No cover image available
Remarks on the Definition and Nature of Mathematics / Haskell B. Curry

by Curry, Haskell B.

Source: Dialectica vol. 8, 1954, págs. 228-233Material type: Article Article; Format: print Language: English Availability: Items available for loan: (1).
5.
No cover image available
On the definition of substitution, replacement and allied notions in a abstract formal system / Haskell B. Curry

by Curry, Haskell B.

Source: Revue Philosophique de Louvain (Antes, Revue Néo-Scolostique vol. 50, 1952, págs. 251-269Material type: Article Article; Format: print Language: English Availability: Items available for loan: (1).
6.
No cover image available
Lógica combinatoria / Haskell B. Curry; Robert Feys, William Lane Craig, Manuel Sacristán

by Curry, Haskell B | Craig, William Lane | Feys, Robert | Sacristán, Manuel, , 1925-1985.

Series: Estructura y Función ; 24Material type: Text Text; Format: print ; Literary form: Not fiction Language: Spanish Publication details: Madrid : Tecnos , 1967Availability: Items available for loan: Call number: 25/6 (1).

Bibliotecas Dominicos Provincia Hispania, 2016

Con tecnología Koha