La tradizione manoscritta della Vita Gregorii magni di Paolo Diacono (B.H.L. 3639) : censimento dei testimoni / Oronzo Limone

• Record Nr.: UNISALENTO991002087199707536
• Autore: Limone, Oronzo
• Pubbl/distr/stampa: Spoleto : Centro italiano di studi sull'alto medioevo, [1988?]
• Descrizione fisica: P. 888-953 ; 23 cm.
• Disciplina: 242
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Estr. da: Studi medievali, 3. Ser., v. 29., 2 (1988).

Combinatory logic / Haskell B. Curry ... [et al.]

• Record Nr.: UNINA990000980060403321
• Autore: Curry, Haskell B.
• Pubbl/distr/stampa: Amsterdam, : North-Holland, 1958-1972
• ISBN: 0-7204-2208-6
• Descrizione fisica: 2 v. ; 23 cm
• Collana: Studies in logic and the foundations of mathematics
• Disciplina: 160; 511.3
• Locazione: MAS; FI1; FINBC; MA1; FLFBC
• Collocazione: MXXXII-B-9; 7-039; 7-039/001; 13 K 61 37; C-30-(29-1; Fil. Teor. 3235
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia