Collana

Studies in proof theory.Lecture notes

3 libri per questa collana.

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