art and architecture bookstore
italiano

email/login

password

remember me on this computer

send


Forgot your password?
Insert your email/login here and receive it at the given email address.

send

chiudi

ricerca avanzata

chiudi

DEAL OF THE DAY

Beato Angelico

Firenze, Palazzo Strozzi, September 26, 2025 - January 25, 2026.
Edited by Carl Brandon Strehlke.
Testi di Stefano Casciu, Marco Mozzo, Angelo Tartuferi.
Venezia, 2025; bound, pp. 456, 300 col. ill., cm 24x29.

cover price: € 80.00

Beato Angelico

Total price: € 80.00 € 189.00 add to cart carrello

Books included in the offer:

Beato Angelico

Firenze, Palazzo Strozzi, September 26, 2025 - January 25, 2026.
Edited by Carl Brandon Strehlke.
Testi di Stefano Casciu, Marco Mozzo, Angelo Tartuferi.
Venezia, 2025; bound, pp. 456, 300 col. ill., cm 24x29.

FREE (cover price: € 80.00)

Beato Angelico

Marche e Toscana. Terre di grandi maestri tra Quattro e Seicento

Ospedaletto, 2007; bound, pp. 320, col. ill., col. plates, cm 25,5x29.

FREE (cover price: € 77.00)

Marche e Toscana. Terre di grandi maestri tra Quattro e Seicento

Segni dell'Eucarestia

Edited by M. Luisa Polichetti.
Ancona, Osimo, Loreto Jesi, Senigallia, Fabriano e Metelica, 23 giugno - 31 ottobre 2011.
Torino, 2011; paperback, pp. 221, b/w and col. ill., cm 24x28.

FREE (cover price: € 32.00)

Segni dell'Eucarestia

chiudi

ADVANCED SEARCH ricerca


Section  
title author publisher series
Search for EAN13 Search in all fieldsi    
   
Books Search for category Search only for Art/Architecture books
Complete catalogue
New  
Remainders  
Out of Print  
Bank Publications    
Language order by: Cerca solo tra i titoli disponibili a magazzino

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   italian text

€ 19.00
€ 20.00 -5%

ships in 2/3 weeks


Proof theory of impredicative subsystems of analysis

Wilfried Buchholz - Kurt Schütte - Bibliopolis, 2007

ISBN: 88-7088-166-0
EAN: 9788870881660

 italian text   italian text

€ 38.95
€ 41.00 -5%

ships in 2/3 weeks


Theories for admissible sets a unifying approach to Proof theory

Gerhard Jäger - Bibliopolis, 2007

ISBN: 88-7088-149-0
EAN: 9788870881493

 italian text   italian text

€ 24.70
€ 26.00 -5%

ships in 2/3 weeks


Selected papers in Proof theory

Mints E. Grigorii - Bibliopolis, 1993

ISBN: 88-7088-228-4
EAN: 9788870882285

 italian text   italian text

€ 58.90
€ 62.00 -5%

ships in 2/3 weeks


Proof Theory and Logical Complexity

Jean-Yves Girard - Bibliopolis, 1987

ISBN: 88-7088-123-7
EAN: 9788870881233

 english text   english text

out of print - NOT orderable

Bounded arithmetic

Samuel R. Buss - Bibliopolis, 1986

ISBN: 88-7088-150-4
EAN: 9788870881509

 italian text   italian text

out of print - NOT orderable

Intuitionistic type theory

Martin Löf Per - Bibliopolis, 2007

ISBN: 88-7088-105-9
EAN: 9788870881059

 italian text   italian text

out of print - NOT orderable

top

design e realizzazione: Vincent Wolterbeek / analisi e programmazione: Rocco Barisci