Essays in Structural Proof Theory
Autore:  Laura Tesconi

Collana:  Analitica (6)

The three chapters that constitute this book bear a common denominator in being focused on the relationship between structural properties of two prominent formalizations of logical deduction: sequent calculus and natural deduction. This relation imposed itself as one of the key topics of ...

Arte botanica nel terzo Millennio
Botanical Art into the third Millennium
catalogo
Autore:  aa.vv.
A cura di  Lucia Tongiorgi Tomasi, Alessandro Tosi, con la collaborazione di Shirley Sherwood

Collana:  fuori collana (0)

Il percorso espositivo, che presenta opere di molti dei più brillanti e raffinati artisti contemporanei, si apre con i riferimenti alla lezione di Rory McEwen, Margaret Mee e Margaret Stones, che alla metà del ’900 seppero indicare la modernità della pittura botanica in termini di sensibilità ...

Venere allo specchio
Valutazione, accountability, organizzazione delle Università
Autore:  Michele da Caprile, Simone Kovatz, Vincenzo Tedesco

Collana:  Area Libri (2)

Il mondo dell'università e della ricerca sta attraversando una fase di radicale cambiamento, la cui portata è tuttora da capire, indotta da alcuni interventi normativi di grande impatto: la legge 133 del 2008, il decreto 150 del 2009, la legge 240 del 2010 con l'articolato palinsesto dei ...

Venere allo specchio
Valutazione, accountability, organizzazione delle Università
Autore:  Michele da Caprile, Simone Kovatz, Vincenzo Tedesco

Collana:  Area Libri (2)

Il mondo dell'università e della ricerca sta attraversando una fase di radicale cambiamento, la cui portata è tuttora da capire, indotta da alcuni interventi normativi di grande impatto: la legge 133 del 2008, il decreto 150 del 2009, la legge 240 del 2010 con l'articolato palinsesto dei ...

Il "libro dei Visacci"
Ritratti di giovani toscani caduti nella guerra del 1848
Autore:  Anonimo [Alessandro D'Ancona, Mariano D'Ayala, Niccolò Carlo Mariscotti]
A cura di  Danilo Barsanti

Collana:  fuori collana (0)

Nel 1852, per la ricorrenza del quarto anniversario di Curtatone e Montanara, un giovanissimo Alessandro D'Ancona, con l'aiuto dell'esule napoletano Mariano D'Ayala e di Niccolò Carlo Mariscotti, volle perpetuare la memoria dei volontari toscani che con tanto entusiasmo erano corsi a combattere ...