Collana

Studies in proof theory

4 libri per questa collana.

Theory of figuration
Non disponibile
Theory of figuration
Ernst Cassirer
Bibliopolis
20,00 €
Proof theory and logical complexity
Non disponibile
Proof theory and logical complexity
Jean-Yves Girard
Bibliopolis
78,00 €
Proof theory of impredicative subsystems of analysis
Non disponibile
Proof theory of impredicative subsystems of analysis
Wilfried Buchholz; Kurt Schütte
Bibliopolis
41,00 €
Selected papers in proof theory
Non disponibile
Selected papers in proof theory
E. Grigorii Mints
Bibliopolis
62,00 €
Pagina 1 di 1