Theories for admissible sets
A unifying approach to Proof Theory.
Lingua: inglese
Categoria: LOGICA, Logica matematica, MATEMATICA.€26.00
In this Habilitationschrift we will present a unifying approch to the proof theory of theories in strength between Peano arithmetic PA and the theory kPi defined below. The central notion is that of admissible set; the central method is the systematic use of theories for (literated) admissible sets.
Prodotti correlati
-
Aggiungi al carrelloQuick View
Fixed point constructions in various theories of Mathematical Logic
Autore: Sommaruga - Rosolemos GiovanniThis thesis deals with fixed point constructions in various theories continua
-
Aggiungi al carrelloQuick View
Logical problems of the medieval theory of consequences
Autore: Schupp FranzThe 14th century theory of consequences is rightly considered one continua
-
Aggiungi al carrelloQuick View
Categorial Grammar and the Logical Form of Quantification
Autore: Levin Harold D.Il libro di Levin si compone di tre capitoli, preceduti continua
-
Aggiungi al carrelloQuick View
Scritti postumi
Autore: Frege GottlobGli scritti postumi coprono quasi l’intero arco della produzione di continua
Ricerca volumi
In evidenza
Novità
- Tra rivoluzione e utopia. Scritti politici e filosofici 1851-1857 €20.00
- Dal 1848 al 1861. Lettere scritti documenti pubblicati da Benedetto Croce €30.00
- CASAMICCIOLA - Un Laboratorio per la Difesa dai Terremoti €25.00
- I Sociniani. Una chiesa ereticale in lotta con la cristianità €30.00
- La cura Goethe. Poesia e storia in Benedetto Croce €30.00