Libri di
Bibliografia di : tutti i libri in vendita online editi da Bibliopolis 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 9788870881509
Bounded arithmetic Buss Samuel R. - Bibliopolis, 1986 - Studies In Proof Theory.Lecture Notes
Bounded arithmetic - Bibliopolis
disp. incerta
ACQUISTA
LIBRO 9788870880342
Atti del Congresso nazionale di logica (1979) Bernini S. (Cur.) - Bibliopolis, 1981 -
Atti del Congresso nazionale di logica (1979) - Bibliopolis
disp. incerta
ACQUISTA