Studies in Proof Theory
Visualizzazione di 3 risultati
-
€62.00Selected Papers in Proof Theory
Autore: Mintz Grigorii E.This collection includes papers devoted to the structural theory of continua
-
€41.00Proof Theory of Impredicative Subsystem of Analysis
The present book provides a uniform proof-theoretical treatment of several continua
-
Esaurito
€21.00Intuitionistic Type Theory
Autore: Martin-Lof PeerThese lectures were given in Padova at the Laboratorio per continua