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€18.00Il paradiso di Cantor
Autore: Bernays Paul, Kreisel Georg, Montague Richard, Mostowski Andrzej, Skolem Thoralf, Ullian Josevh S., Zermelo ErnstA cura di: Cellucci C.Le discussioni recenti sui fondamenti della teoria degli insiemi si continua
-
Aggiungi al carrelloQuick View€51.00Notes on Philosophy, Probability and Mathematics
Autore: Ramsey Frank PlumptonA cura di: Galavotti Maria CarlaThis book is a collection of notes by Frank Plumpton continua
-
Aggiungi al carrelloQuick View€62.00English Logic in Italy in the 14th and 15th centuries
A cura di: Maierù A.The book covers the broadest possible spectrum of current research continua
-
Aggiungi al carrelloQuick View€36.00Materials for a Study on Twelfth Century Scholasticism
Autore: Giusberti FrancoThe book is a central contribution to the study of continua