Bibliopolis Libri
Libri editi da Bibliopolis 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
Lectures on group theory for physicists
Balachandran A. P., Trahern C. G.
Bibliopolis , 1985
Monographs And Textboos Phys. Scienc.Mon.
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
Ricerche sui fondamenti della matematica
Hilbert David, Abrusci V. M. (Cur.)
Bibliopolis , 1985
Archivio Di Logica E Filos. Della Matem.
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
Hamiltonian optics and generating families
Benenti Sergio
Bibliopolis , 2004
Napoli. Series On Physics And Astrophys.
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
Elements of differential and riemannian geometry
Francaviglia Mauro
Bibliopolis , 1988
Monographs Textbooks Physic.Science-Lec.
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
Differential geometry for physicists. Stony brook lectures
Trautman Andrzej
Bibliopolis , 1984
Monographs And Textboos Phys. Scienc.Mon.
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
Notes on philosophy probability and mathematics
Ramsey, Galavotti M. C. (Cur.)
Bibliopolis , 1992
History Of Logic
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