Biblioteca Giuseppe Dossetti - Risultati Ricerca

(Elementi trovati: 4)

Autore	Titolo	Collocazione	Anno	Tipologia	Visualizza
CURRY, Haskell B.	Combinatory logic.	M-29.-15-(1)		titolo analitico	visualizza dettagli
CURRY, Haskell B.	Leçons de logique algébrique.	N-01.-b-74/1	1952	monografia	visualizza dettagli
CURRY, Haskell B.	Remarks on inferential deduction.	N-111		titolo analitico	visualizza dettagli
CURRY, Haskell B.	The achievements of logical formalization.	N-147-(3)		titolo analitico	visualizza dettagli