Risultati della ricerca

Abbiamo trovato 1 libri cercando Wilfried Buchholz.

Proof theory of impredicative subsystems of analysis

Proof theory of impredicative subsystems of analysis

di Wilfried Buchholz, Kurt Schutte
Al momento non disponibile, ordinabile in 3 settimane circa Aggiungi a lista dei desideri

Prezzo: € 41,00
Editore: Bibliopolis
ISBN: 9788870881660
Collana: Studies in proof theory
Anno Edizione: 2007