Studies In Proof Theory Libri
Libri pubblicati nella collana Studies In Proof Theory con argomento Logica Matematica 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