Bibliopolis Libri

Libri editi da Bibliopolis Fondamenti della matematica
Scritti postumi libro
-5%
libro

Scritti postumi

Frege Gottlob  Picardi E. (Cur.) 
Bibliopolis , 1987
Archivio Di Logica E Filos. Della Matem.
€ 34.00 € 32.30
 
ACQUISTA
La teoria della dimostrazione di Hilbert libro
-5%
libro

La teoria della dimostrazione di Hilbert

Moriconi Enrico 
Bibliopolis , 1988
Testi Per Lo Studio Della Logica Matem.
€ 18.00 € 17.10
 
ACQUISTA
Il paradiso di Cantor. Il dibattito sui fondamenti della teoria degli insiemi libro
libro

Il paradiso di Cantor. Il dibattito sui fondamenti della teoria degli insiemi

Cellucci C. (Cur.) 
Bibliopolis , 1979
Archivio Di Logica E Filos. Della Matem.
€ 18.00
 
ACQUISTA
Proof theory of impredicative subsystems of analysis libro
libro

Proof theory of impredicative subsystems of analysis

Buchholz Wilfried  Schütte Kurt 
Bibliopolis , 1988
Studies In Proof Theory
€ 41.00
disp. incerta
ACQUISTA
Il continuo. Indagini critiche sui fondamenti dell'analisi libro
libro

Il continuo. Indagini critiche sui fondamenti dell'analisi

Weyl Hermann 
Bibliopolis , 1977
Archivio Di Logica E Filos. Della Matem.
€ 21.00
disp. incerta
ACQUISTA
Proof theory and logical complexity libro
libro

Proof theory and logical complexity

Girard Jean-Yves 
Bibliopolis , 1987
Studies In Proof Theory
€ 78.00
disp. incerta
ACQUISTA
Scritti sui fondamenti della matematica libro
libro

Scritti sui fondamenti della matematica

Dedekind Julius W.  Gana F. (Cur.) 
Bibliopolis , 1982
Archivio Di Logica E Filos. Della Matem.
€ 18.08
disp. incerta
ACQUISTA
Selected papers in proof theory libro
libro

Selected papers in proof theory

Mints E. Grigorii 
Bibliopolis , 1992
Studies In Proof Theory
€ 62.00
disp. incerta
ACQUISTA
Fixed point constructions in various theories of mathematical logic libro
libro

Fixed point constructions in various theories of mathematical logic

Somaruga Rosolemos Giovanni 
Bibliopolis , 1991
Fuori Collana
€ 21.00
disp. incerta
ACQUISTA
Theories for admissible sets a unifying approach to proof theory libro
libro

Theories for admissible sets a unifying approach to proof theory

Jäger Gerhard 
Bibliopolis , 1986
Studies In Proof Theory.Lecture Notes
€ 26.00
disp. incerta
ACQUISTA
Intuitionistic type theory libro
libro

Intuitionistic type theory

Martin Löf Per 
Bibliopolis , 1984
Studies In Proof Theory.Lecture Notes
€ 21.00
disp. incerta
ACQUISTA
Una teoria consequenzialista dei condizionali libro
libro

Una teoria consequenzialista dei condizionali

Pizzi Claudio 
Bibliopolis , 1984
Fuori Collana
€ 21.00
disp. incerta
ACQUISTA
Proprietà e operazioni. Teorie non estensionali delle classi libro
libro

Proprietà e operazioni. Teorie non estensionali delle classi

Cantini Andrea 
Bibliopolis , 1983
Studi Di Logica E Fondam. Della Matemat.
€ 21.00
disp. incerta
ACQUISTA
Indagini semantiche sulle logiche intermedie proposizionali libro
libro

Indagini semantiche sulle logiche intermedie proposizionali

Minari P. Luigi 
Bibliopolis , 1989
Studi Di Logica E Fondam. Della Matemat.
€ 26.00
disp. incerta
ACQUISTA
Bounded arithmetic libro
libro

Bounded arithmetic

Buss Samuel R. 
Bibliopolis , 1986
Studies In Proof Theory.Lecture Notes
€ 31.00
disp. incerta
ACQUISTA
Atti del Congresso nazionale di logica (1979) libro
libro

Atti del Congresso nazionale di logica (1979)

Bernini S. (Cur.) 
Bibliopolis , 1981

€ 14.46
disp. incerta
ACQUISTA