Stampa - Email - Export
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email ed export.
spoglio
POSSEDUTO
| Peckhaus, Volker |
| 19th century logic between philosophy and mathematics / Volker Peckhaus. |
| In: Mathematics and the historian's craft. p. 203-220 |
spoglio
NON posseduto
| Mangione, Corrado, 1930-2009 |
| About some problems in the history of mathematical logic / C. Mangione, S. Bozzi |
| In: Atti del Convegno internazionale di storia della logica. p. 157-174 |
spoglio
NON posseduto
| Pedeferri, Andrea |
| Alcuni aspetti del nazionalismo culturale nella logica italiana del primo Novecento / di Andrea Pedeferri |
| In: Ricerca logica in Italia. p. 415-426 |
monografia
NON posseduto
L'algebra della logica
Barone, Francesco, 1923-2001
Corotti, Arianna
Moriconi, Enrico
Indice: Prefazione 1. Alle origini della logica formale moderna 2. Dalla logica dell'algebra all'algebra della logica 3. Algebra della logica e leggi del pensiero 4. Sviluppo...
Anno: 2000
| Barone, Francesco, 1923-2001 |
| L'algebra della logica / Francesco Barone |
| Milano : Unicopli, 2000. |
| In: Logica formale e logica trascendentale. Barone, Francesco 1923-2001. 2 |
spoglio
NON posseduto
| Mugnai, Massimo, 1947- |
| Alle origini dell'algebra della logica / Massimo Mugnai |
| In: Atti del Convegno internazionale di storia della logica. p. 117-131 |
monografia
POSSEDUTO
| The architecture of modern mathematics : essays in history and philosophy / edited by J. Ferreirós and J.J. Gray |
| Oxford : Oxford university press, 2006. |
monografia
POSSEDUTO
Atti del Convegno internazionale di storia della logica Le teorie delle modalità
San Gimignano, 5-8 dicembre 1987
Convegno internazionale di storia della logica Le teorie delle modalità, (1987 : San Gimignano)
Mugnai, Massimo, 1947-
Mangione, Corrado, 1930-2009
...
Anno: 1989
| Convegno internazionale di storia della logica Le teorie delle modalità, (1987 : San Gimignano) |
| Atti del Convegno internazionale di storia della logica Le teorie delle modalità : San Gimignano, 5-8 dicembre 1987 / organizzato dalla Società italiana di logica e filosofia delle scienze (SILFS) ; a cura di Giovanna Corsi, Corrado Mangione, Massimo Mugnai |
| Bologna : CLUEB, c1989. |
spoglio
POSSEDUTO
| Ageron, Pierre |
| L'autre axiome du choix / Pierre Ageron |
| In: Revue d'histoire des mathématiques T. 8, fasc. 1 (2002), p. 113-140 |
spoglio
POSSEDUTO
| Mugnai, Massimo, 1947- |
| Avventure della forma logica : logica e matematica da Leibniz a Frege / Massimo Mugnai |
| In: Matematica, cultura e società 2004. p. 117-140 |
spoglio
POSSEDUTO
The axiom of choice as paradigm shift
the case for the distinction between the ontological and the methodological crisis in the foundations of mathematics
Therrien, Valérie Lynn
Anno: 2018
| Therrien, Valérie Lynn |
| The axiom of choice as paradigm shift : the case for the distinction between the ontological and the methodological crisis in the foundations of mathematics / Valérie Lynn Therrien |
| In: Research in history and philosophy of mathematics. p. 141-155 |
spoglio
POSSEDUTO
| Thiel, Christian |
| Begriffsbildungen der mathematischen Analysis als Anlass zur Entwicklung der Quantorenlogik / Christian Thiel |
| In: Filosofia, scienza e bioetica nel dibattito contemporaneo. p. 927-933 |
spoglio
POSSEDUTO
Burali-Forti's paradox
a reappraisal of its origins
Moore, Gregory H.
Garciadiego, Alejandro R.
Argues that Burali-Forti's paradox was not created by either Burali-Forti or by Cantor, but that it arose gradually and began to take recognizable form only in Russell's "Principles...
Anno: 1981
| Moore, Gregory H. |
| Burali-Forti's paradox : a reappraisal of its origins / by Gregory H. Moore and Alejandro Garciadiego |
| In: Historia mathematica Vol. 8 (1981), p. 319-350 |
monografia
POSSEDUTO
Il calcolatore universale
da Leibniz a Turing
Davis, Martin, 1928-2023
Rigamonti, Gianni
Indice: Prefazione. Introduzione. 1. Il sogno di Leibniz 2. Boole trasforma la logica in algebra 3. Frege: dalla grande conquista al controllo 4. Cantor: una deviazione verso...
Anno: 2003
| Davis, Martin, 1928-2023 |
| Il calcolatore universale : da Leibniz a Turing / Martin Davis ; traduzione di Gianni Rigamonti |
| Milano : Adelphi, c2003. |
monografia
POSSEDUTO
Capire una dimostrazione
il ruolo della logica nella matematica
Lolli, Gabriele, 1942-
Indice: Premessa 1. Il ruolo della dimostrazione 2. Dimostrazioni e logica 3. Mondo fisico e metodo assiomatico 4. La dimostrazione dei greci 5. Quelle lunghe catene di ragioni...
Anno: 1988
| Lolli, Gabriele, 1942- |
| Capire una dimostrazione : il ruolo della logica nella matematica / Gabriele Lolli |
| Bologna : Il mulino, c1988. |
spoglio
POSSEDUTO
| Graham, Loren R., 1933- |
| A comparison of two cultural approaches to mathematics : France and Russia, 1890-1930 / by Loren R. Graham and Jean-Michel Kantor |
| In: Isis Vol. 97 (2006), p. 56-74 |
spoglio
NON posseduto
| Pianigiani, Duccio |
| La complessità del finito / Duccio Pianigiani |
| In: Annali della Facoltà di lettere e filosofia dell'Università di Siena Vol. 23 (2002) (stampa 2003), p. 233-273 |
spoglio
NON posseduto
| Nasti De Vincentis, Mauro |
| Conflict and connectedness : between modern logic and history of ancient logic / Mauro Nasti De Vincentis. |
| In: Logic and philosophy in Italy. p. 229-251 |
spoglio
POSSEDUTO
| Ehrlich, Philip |
| Contemporary infinitesimalist theories of continua and their late nineteenth- and early twentieth-century forerunners / Philip Ehrlich |
| In: History of continua. p. 502-570 |
spoglio
POSSEDUTO
| McCarty, Charles. |
| Continuity in intuitionism / Charles McCarty |
| In: History of continua. p. 299-327 |
spoglio
POSSEDUTO
| Dalla Chiara, Maria Luisa, 1938- |
| La creazione di strutture nella scienza e nella musica / Maria Luisa Dalla Chiara, Eleonora Negri |
| In: Convegno sul tema Storia naturale della creatività. Convegno sul tema Storia naturale della creatività (2009 : Roma) p. 205-233 |
monografia
POSSEDUTO
Da Euclide a Gödel
Lolli, Gabriele, 1942-
Indice: Presentazione. 1. Con gli occhi rivolti a Euclide 2. La stagione di Hilbert 3. Aspettando Gödel 4. Incompletezza 5. Aspettando Turing 6. Mente e macchine. Con gli...
Anno: 2004
| Lolli, Gabriele, 1942- |
| Da Euclide a Gödel / Gabriele Lolli |
| Bologna : Il mulino, c2004. |
monografia
POSSEDUTO
| Lolli, Gabriele, 1942- |
| Dagli insiemi ai numeri : storia e assiomatica della teoria degli insiemi / Gabriele Lolli |
| Torino : Bollati Boringhieri, 1994. |
spoglio
POSSEDUTO
| Pizzi, Claudio |
| Dall'implicazione connessiva all'implicazione consequenziale / Claudio Pizzi |
| In: Logica e politica. p. 187-202 |
spoglio
POSSEDUTO
| Lolli, Gabriele, 1942- |
| Dalla filosofia della scienza alla logica / Gabriele Lolli |
| In: Filosofia italiana e filosofie straniere nel dopoguerra. p. 163-188 |
spoglio
POSSEDUTO
| Cellucci, Carlo |
| Dalla logica teoretica alla logica pratica / Carlo Cellucci |
| In: Rivista di filosofia Vol. 83, n. 2 (1992), p. 169-207 |
