Bibliopolis Libri
Libri editi da Bibliopolis Logica matematica
libro
Scritti postumi
Frege Gottlob, Picardi E. (Cur.)
Bibliopolis , 1987
Archivio Di Logica E Filos. Della Matem.
disp. incerta
ACQUISTA
libro
La teoria della dimostrazione di Hilbert
Moriconi Enrico
Bibliopolis , 1988
Testi Per Lo Studio Della Logica Matem.
disp. incerta
ACQUISTA
libro
Proof theory of impredicative subsystems of analysis
Buchholz Wilfried, Schütte Kurt
Bibliopolis , 1988
Studies In Proof Theory
disp. incerta
ACQUISTA
libro
Il continuo. Indagini critiche sui fondamenti dell'analisi
Weyl Hermann
Bibliopolis , 1977
Archivio Di Logica E Filos. Della Matem.
disp. incerta
ACQUISTA
libro
Proof theory and logical complexity
Girard Jean-Yves
Bibliopolis , 1987
Studies In Proof Theory
disp. incerta
ACQUISTA
libro
Scritti sui fondamenti della matematica
Dedekind Julius W., Gana F. (Cur.)
Bibliopolis , 1982
Archivio Di Logica E Filos. Della Matem.
disp. incerta
ACQUISTA
libro
Selected papers in proof theory
Mints E. Grigorii
Bibliopolis , 1992
Studies In Proof Theory
disp. incerta
ACQUISTA
libro
Fixed point constructions in various theories of mathematical logic
Somaruga Rosolemos Giovanni
Bibliopolis , 1991
Fuori Collana
disp. incerta
ACQUISTA
libro
Theories for admissible sets a unifying approach to proof theory
Jäger Gerhard
Bibliopolis , 1986
Studies In Proof Theory.Lecture Notes
disp. incerta
ACQUISTA
libro
Intuitionistic type theory
Martin Löf Per
Bibliopolis , 1984
Studies In Proof Theory.Lecture Notes
disp. incerta
ACQUISTA
libro
Una teoria consequenzialista dei condizionali
Pizzi Claudio
Bibliopolis , 1984
Fuori Collana
disp. incerta
ACQUISTA
libro
Proprietà e operazioni. Teorie non estensionali delle classi
Cantini Andrea
Bibliopolis , 1983
Studi Di Logica E Fondam. Della Matemat.
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
libro
Bounded arithmetic
Buss Samuel R.
Bibliopolis , 1986
Studies In Proof Theory.Lecture Notes
disp. incerta
ACQUISTA
libro
Atti del Congresso nazionale di logica (1979)
Bernini S. (Cur.)
Bibliopolis , 1981
disp. incerta
ACQUISTA