Proof Theory of Impredicative Subsystem of Analysis
Collana: Studies in Proof Theory
Lingua: inglese
Categoria: LOGICA, Logica matematica.€41.00
The present book provides a uniform proof-theoretical treatment of several essentially impredicative subsystems of analysis.
Prodotti correlati
-
Aggiungi al carrelloQuick View€36.00Logical problems of the medieval theory of consequences
Autore: Schupp FranzThe 14th century theory of consequences is rightly considered one continua
-
Esaurito
Leggi tuttoQuick ViewRicerche sui fondamenti della matematica
Autore: Hilbert DavidQuesto volume mette per la prima volta a disposizone del continua
-
Esaurito
Leggi tuttoQuick ViewScritti sui fondamenti della matematica
Autore: Dedekind Richard J. W.Chi già non le conosca, leggendo le due brevi operette continua
