Libri di
Bibliografia di : tutti i libri in vendita online editi da Bibliopolis con argomento Logica
libro
Selected papers in proof theory
Mints E. Grigorii
Bibliopolis , 1992
Studies In Proof Theory
disp. incerta
ACQUISTA
libro
Intuitionistic type theory
Martin Löf Per
Bibliopolis , 1984
Studies In Proof Theory.Lecture Notes
disp. incerta
ACQUISTA
libro
Completezza, compattezza e indecidibilità
Manaster Alfred B.
Bibliopolis , 1981
Testi Per Lo Studio Della Logica Matem.
disp. incerta
ACQUISTA
libro
Indagini semantiche sulle logiche intermedie proposizionali
Minari P. Luigi
Bibliopolis , 1989
Studi Di Logica E Fondam. Della Matemat.
disp. incerta
ACQUISTA