Studies In Proof Theory Libri
Libri pubblicati nella collana Studies In Proof Theory con argomento Logica Matematica
LIBRO 9788870881660
Proof theory of impredicative subsystems of analysis Buchholz Wilfried Schütte Kurt - Bibliopolis, 1988 - Studies In Proof Theory
Proof theory of impredicative subsystems of analysis - Bibliopolis
disp. incerta
ACQUISTA
LIBRO 9788870881233
Proof theory and logical complexity Girard Jean-Yves - Bibliopolis, 1987 - Studies In Proof Theory
Proof theory and logical complexity - Bibliopolis
disp. incerta
ACQUISTA
LIBRO 9788870882285
Selected papers in proof theory Mints E. Grigorii - Bibliopolis, 1992 - Studies In Proof Theory
Selected papers in proof theory - Bibliopolis
disp. incerta
ACQUISTA