LATEST ART BOOKS
Arturo Martini. I capolavori
Treviso, Museo “luigi Bailo”, March 31 - July 30, 2023.
Edited by Stringa Nico and Fabrizio Malachin.
Cornuda, 2023; paperback, pp. 278, col. ill., cm 23x29.
cover price: € 33.00
|
Books included in the offer:
Arturo Martini. I capolavori
Treviso, Museo “luigi Bailo”, March 31 - July 30, 2023.
Edited by Stringa Nico and Fabrizio Malachin.
Cornuda, 2023; paperback, pp. 278, col. ill., cm 23x29.
FREE (cover price: € 33.00)
Studi su Arturo Martini. Per Ofelia
Edited by Matteo Ceriana and Claudia Gian Ferrari.
Milano, Atti del Covegno, 19 maggio 2008.
Milano, 2009; paperback, pp. 136, 97 b/w ill., cm 17x24.
FREE (cover price: € 29.00)
Canova. L'invenzione della gloria. Disegni, dipinti e sculture.
Genova, Palazzo Reale, April 16 - July 24, 2016.
Edited by Giuliana Ericani and Franceasco Leone.
Roma, 2016; paperback, pp. 306, col. ill., col. plates, cm 23x30.
FREE (cover price: € 35.00)
ADVANCED SEARCH 
FILTER RESULT OF SEARCH
BY TOPIC
RESULTS OF SEARCH "series: Studies in Proof Theory."
Theory of figuration
Cassirer Ernst -
Bibliopolis, 2012
ISBN: 88-7088-822-3
EAN: 9788870888225
italian text
Proof theory of impredicative subsystems of analysis
Wilfried Buchholz - Kurt Schütte -
Bibliopolis, 2007
ISBN: 88-7088-166-0
EAN: 9788870881660
italian text
Theories for admissible sets a unifying approach to Proof theory
Gerhard Jäger -
Bibliopolis, 2007
ISBN: 88-7088-149-0
EAN: 9788870881493
italian text
Selected papers in Proof theory
Mints E. Grigorii -
Bibliopolis, 1993
ISBN: 88-7088-228-4
EAN: 9788870882285
italian text
Proof Theory and Logical Complexity
Jean-Yves Girard -
Bibliopolis, 1987
ISBN: 88-7088-123-7
EAN: 9788870881233
english text
Bounded arithmetic
Samuel R. Buss -
Bibliopolis, 1986
ISBN: 88-7088-150-4
EAN: 9788870881509
italian text
Intuitionistic type theory
Martin Löf Per -
Bibliopolis, 2007
ISBN: 88-7088-105-9
EAN: 9788870881059
italian text
top