Bounded Arithmetic
Lingua: inglese
Categoria: LOGICA, Logica matematica, MATEMATICA.€31.00
This dissertation uses methods from mathematical logic to examine issues related to computational complexity.
Prodotti correlati
-
Aggiungi al carrelloQuick View€26.00Theories for admissible sets
Autore: Jäger GerhardIn this Habilitationschrift we will present a unifying approch to continua
-
Esaurito
Leggi tuttoQuick View€21.00Intuitionistic Type Theory
Autore: Martin-Lof PeerThese lectures were given in Padova at the Laboratorio per continua
-
Aggiungi al carrelloQuick View€41.00Proof Theory of Impredicative Subsystem of Analysis
The present book provides a uniform proof-theoretical treatment of several continua
-
Aggiungi al carrelloQuick View€62.00Selected Papers in Proof Theory
Autore: Mintz Grigorii E.This collection includes papers devoted to the structural theory of continua