Libri di
Bibliografia di : tutti i libri in vendita online editi da Bibliopolis con argomento Logica Matematica
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
LIBRO 9788870881059
Intuitionistic type theory Martin Löf Per - Bibliopolis, 1984 - Studies In Proof Theory.Lecture Notes
Intuitionistic type theory - Bibliopolis
disp. incerta
ACQUISTA
LIBRO 9788870882148
Indagini semantiche sulle logiche intermedie proposizionali Minari P. Luigi - Bibliopolis, 1989 - Studi Di Logica E Fondam. Della Matemat.
Indagini semantiche sulle logiche intermedie proposizionali - Bibliopolis
disp. incerta
ACQUISTA