Collana

Studies in proof theory.Lecture notes

3 libri disponibili per questa collana.

Intuitionistic type theory
Verifica disponibilità
Intuitionistic type theory
Per Martin Löf
Bibliopolis
21,00 €
Theories for admissible sets a unifying approach to proof theory
Verifica disponibilità
Theories for admissible sets a unifying approach to proof theory
Gerhard Jäger
Bibliopolis
26,00 €
Bounded arithmetic
Verifica disponibilità
Bounded arithmetic
Samuel R. Buss
Bibliopolis
31,00 €
Pagina 1 di 1