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

3.-4. : Opera homiletica ; Opera rhythmica / Beda

• Record Nr.: UNISA990001395950203316
• Autore: BEDA
• Pubbl/distr/stampa: Turnholti : Typographi Brepols editores pontificii, 1955
• Descrizione fisica: XXI, 473 p. ; 26 cm
• Collana: Corpus Christianorum , Series Latina / cura et studio D. Hurst ; 122
• Collocazione: V.4. Coll.1/ 57a(IV A 864/122); V.4. Coll.1/ 57 (IV A 864/122 BIS)
• Lingua di pubblicazione: Latino
• Formato: Materiale a stampa
• Livello bibliografico: Monografia