Linear logic in computer science / T. Ehrhard, ... [et al.], editors

• Record Nr.: UNINA990008032210403321
• Pubbl/distr/stampa: Cambridge : Cambridge University Press, c2004
• ISBN: 0-521-60857-0
• Descrizione fisica: x, 381 p. ; 24 cm
• Collana: London Mathematical Society lecture note series ; 316
• Disciplina: 511.3
• Locazione: MA1
• Collocazione: C-9-(316
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Intorno ad alcuni sepolcri scavati nell'arsenale militare di Bologna / osservazioni del Ccnte senatore Giovanni Gozzadini

• Record Nr.: UNINA990005359830403321
• Autore: Gozzadini, Giovanni <1810-1887>
• Pubbl/distr/stampa: Bologna, 1875
• Descrizione fisica: 14 p., 2 tav. ; 27 cm
• Locazione: FLFBC
• Collocazione: ARCH. BM MISC. 146 (21)
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia