Proof theory of impredicative subsystems of analysis
Wilfried Buchholz - Kurt Schütte
Bibliopolis
Napoli, 2007; br., pp. 126, cm 17,5x24.
(Studies in Proof Theory. 2).
collana: Studies in Proof Theory
ISBN: 88-7088-166-0 - EAN13: 9788870881660
Testo in:
Peso: 0.38 kg
Manuale del saldo e stralcio. NPL e acquisto crediti incagliati immobiliari
L'autismo nei primi anni di vita. Ricerca, valutazione e trattamento
Le note del colore. Nuovi dipinti antichi. [Ed. Italiana e Inglese]
Un battito d'ali. Ritrovamenti e conferme. [Ed. Italiana e Inglese]