Biblioteca San Esteban Salamanca catalog › Results of search for 'an:138016'

Your search returned 4 results.

	1.	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; Format: print Language: English Availability: Items available for loan: (1).
	2.	No cover image available De la logique combinatoire des Generales Inquisitiones aux calculs combinatoires contemporains / Lorenzo Peña by Peña, Lorenzo. Source: Theoria vol. 6, nº. 14-15, 1991, págs. 129-159Material type: Article; Format: print Language: French Availability: Items available for loan: (1).
	3.	No cover image available ¿Lógica combinatoria o teoría estándar de conjuntos? / Lorenzo Peña by Peña, Lorenzo. Source: Arbor vol. 132-133, nº. 520, 1989, págs. 33-74Material type: Article; Format: print Language: Spanish Availability: Items available for loan: (1).
	4.	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; Format: print ; Literary form: Not fiction Language: Spanish Publication details: Madrid : Tecnos , 1967Availability: Items available for loan: Call number: 25/6 (1).