Collana

Studies in proof theory.Lecture notes

3 libri disponibili per questa collana.

Intuitionistic type theory
Verifica disponibilità
Intuitionistic type theory
21,00 €
Bounded arithmetic
Verifica disponibilità
Bounded arithmetic
31,00 €
Pagina 1 di 1