| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990008032210403321 |
|
|
Titolo |
Linear logic in computer science / T. Ehrhard, ... [et al.], editors |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cambridge : Cambridge University Press, c2004 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
London Mathematical Society lecture note series ; 316 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA990001395950203316 |
|
|
Autore |
BEDA |
|
|
Titolo |
3.-4. : Opera homiletica ; Opera rhythmica / Beda |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Turnholti : Typographi Brepols editores pontificii, 1955 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNISA990002047440203316 |
|
|
Autore |
ARANGIO-RUIZ, Gaetano |
|
|
Titolo |
The United Nations declaration on friendly relations and the System of the sources of international law / Gaetano Arangio-Ruiz |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Germantown : Sijthoff & Noordhoff, 1979 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collocazione |
|
XXIII.1.D. 215 (IG VIII 4 525) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |