LATEST ART BOOKS
Usellini. Catalogo generale
Edited by Sansone L. and Usellini F.
Torino, 2022; paperback, pp. 736, ill., cm 26,5x31.
(Varia).
cover price: € 300.00
|
Books included in the offer:
Usellini. Catalogo generale
Edited by Sansone L. and Usellini F.
Torino, 2022; paperback, pp. 736, ill., cm 26,5x31.
(Varia).
FREE (cover price: € 300.00)
Il Pittore Luigi Nono (1850-1918). Catalogo Ragionato dei Dipinti e dei Disegni. La Vita, i Documenti, le Opere
Torino, 2006; 2 vols., bound in a case, pp. 576, 862 b/w ill., 117 col. plates, cm 25x34.
(Varia).
FREE (cover price: € 250.00)
Cavaglieri. Catalogo Ragionato dei Dipinti: la Vita e le Opere. Catalogo delle Opere
Torino, 2006; 2 vols., bound in a case, pp. 608, b/w ill., 125 col. ill., 125 col. plates, cm 25x35.
(Archivi dell'Ottocento).
FREE (cover price: € 250.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