Stampa - Email - Export
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email ed export.
spoglio
NON posseduto
| Jacobi, Klaus. |
| Abelard and Frege : the semantics of words and proposition / Klaus Jacobi |
| In: Atti del Convegno internazionale di storia della logica. p. 81-96 |
spoglio
POSSEDUTO
| Peckhaus, Volker |
| Aber vielleicht kommt noch eine Zeit, wo auch meine Arbeiten wieder entdeckt und gelesen werden : die gescheiterte Karriere des Ernst Zermelo / Volker Peckhaus. |
| In: Mathematik im Fluss der Zeit. Tagung zur Geschichte der Mathematik (2003 : Attendorn) p. 325-339 |
spoglio
NON posseduto
| Giorello, Giulio |
| Alan Turing : una filosofia matematica della natura / Giulio Giorello e Corrado Sinigaglia |
| In: Eredità di Alan Turing. p. 197-202 |
spoglio
POSSEDUTO
| Panizzoli, Francesco |
| Alcune intuizioni tomiste di S.A. Kripke : una lettura di Naming and necessity / Francesco Panizzoli |
| In: A quattrocento anni dall'utilizzo del telescopio in astronomia. p. 449-480 |
spoglio
POSSEDUTO
| Borga, Marco |
| Alessandro Padoa : logica e dintorni / Marco Borga, Giuseppina Fenaroli, Antonio Carlo Garibaldi |
| In: Peano e la sua scuola fra matematica, logica e interlingua. p. 369-386 |
spoglio
NON posseduto
| Festa, Giuseppe |
| L'algebra di Boole : storia e applicazioni / Giuseppe Festa |
| In: Periodico di matematiche 6. ser., vol. 58, n. 3-4 (1982), p. 34-43 |
monografia
POSSEDUTO
L'analisi matematica della logica
seguita da Il calcolo logico
Boole, George, 1815-1864
Mugnai, Massimo, 1947-
Cayley, Arthur, 1821-1895
Indice: Introduzione / di Massimo Mugnai. 1. L'analisi matematica della logica 2. Il calcolo logico 3. Nota sul calcolo logico / di Arthur Cayley
Anno: 1993
| Boole, George, 1815-1864 |
| L'analisi matematica della logica ; seguita da Il calcolo logico / George Boole ; introduzione di Massimo Mugnai |
| Torino : Bollati Boringhieri, 1993. |
monografia
POSSEDUTO
Annibale Pastore
istanze e limiti della logica del potenziamento = Proposals and limitations of the logic of the raising to power
Russo, Giuseppe
Anno: 1982
| Russo, Giuseppe |
| Annibale Pastore : istanze e limiti della logica del potenziamento = Proposals and limitations of the logic of the raising to power / testo bilingue di/by Giuseppe Russo |
| Catania : Greco, 1982. |
spoglio
NON posseduto
| Freguglia, Paolo |
| Le antinomie e la crisi del programma logicista / Paolo Freguglia |
| In: Problema dei fondamenti della matematica. p. 55-72 |
spoglio
POSSEDUTO
| Sinaceur, Mohammed Allal |
| Appartenance et inclusion : un inédit de Richard Dedekind / M.-A. Sinaceur |
| In: Revue d'histoire des sciences T. 24 (1971), p. 247-254 |
monografia
POSSEDUTO
L'artificio della lingua
Louis Couturat, 1868-1914
Sanzo, Ubaldo
Indice: Introduzione. Pt. 1. Gli studi giovanili: 1. L'infinito matematico 2. La geometria 3. Il numero e la grandezza 4. Epistemologia e logica. Pt. 2. I nuovi interessi:...
Anno: 1991
| Sanzo, Ubaldo |
| L'artificio della lingua : Louis Couturat, 1868-1914 / di Ubaldo Sanzo |
| Milano : F. Angeli, c1991. |
spoglio
POSSEDUTO
| Picardi, Eva. |
| Assertion and assertion sign / Eva Picardi |
| In: Atti del Convegno internazionale di storia della logica Le teorie delle modalità. Convegno internazionale di storia della logica Le teorie delle modalità (1987 : San Gimignano) p. 139-154 |
spoglio
POSSEDUTO
| Casari, Ettore, 1933-2019 |
| At the origins of metalogic / Ettore Casari |
| In: Giuseppe Peano between mathematics and logic. International conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario mathematico (2008 : Torino) p. 143-156 |
spoglio
POSSEDUTO
Bagliori al tramonto
le risposte di Heyting e Bernays al fallimento delle scuole fondazionali
Franchella, Miriam
Anno: 1994
| Franchella, Miriam |
| Bagliori al tramonto : le risposte di Heyting e Bernays al fallimento delle scuole fondazionali / Miriam Franchella |
| In: Logica e filosofia della scienza. Società italiana di logica e filosofia delle scienze. p. 173-183 |
spoglio
POSSEDUTO
| Dauben, Joseph Warren, 1944- |
| The battle for Cantorian set theory / Joseoh W. Dauben |
| In: Mathematics and the historian's craft. p. 221.241 |
spoglio
NON posseduto
| Nasti De Vincentis, Mauro |
| The beginning of mathematical logic in Italy : a sketchy account of Albino Nagy's life and works / Mauro Nasti de Vincentis. |
| In: Atti del Congresso Logica e filosofia della scienza oggi. Vol. 2, p. 311-314 |
spoglio
NON posseduto
| Buzzetti, Dino, 1941- |
| Benjamin Humphrey Smart and John Stuart Mill : logic and parts of speech / Dino Buzzetti |
| In: Atti del Convegno internazionale di storia della logica. p. 283-288 |
spoglio
POSSEDUTO
Bernard Bolzano
not as unknown to his contemporaries as is commonly believed?
Schubring, Gert
Hoffmann, Johann Josef Ignaz von, 1777-1866
Anno: 1993
| Schubring, Gert |
| Bernard Bolzano : not as unknown to his contemporaries as is commonly believed? / Gert Schubring |
| In: Historia mathematica Vol. 20 (1993), p. 45-53 |
spoglio
NON posseduto
| Mangiagalli, Maurizio |
| Bernard Bolzano e l'idea di una logica pura / M. Mangiagalli |
| In: Sapienza Vol. 59, fasc. 4 (2006), p. 459-466 |
spoglio
POSSEDUTO
| Rigamonti, Gianni |
| Bertrand Russell : paradossi e altri enigmi / di Gianni Rigamonti |
| In: Vite matematiche. p. 39-52 |
spoglio
NON posseduto
| Anellis, Irving H. |
| Bertrand Russell's theory of number, 1896-1898 / Irving H. Anellis. |
| In: Epistemologia Vol. 10, n. 2 (1987), p. 303-322 |
spoglio
POSSEDUTO
| Paoli, Francesco |
| Bolzano e le dimostrazioni matematiche / Francesco Paoli |
| In: Rivista di filosofia Vol. 82, n. 2 (1991), p. 221-242 |
spoglio
POSSEDUTO
| Rusnock, Paul |
| Bolzano on continuity / Paul Rusnock |
| In: History of continua. p. 187-218 |
spoglio
POSSEDUTO
| Hafner, Johannes. |
| Bolzano's criticism of indirect proofs / Johannes Hafner |
| In: Mathématique et logique chez Bolzano. p. 385-398 |
monografia
POSSEDUTO
Bolzano's philosophy and the emergence of modern mathematics
Rusnock, Paul
Bolzano, Bernard, 1781-1848
Indice: Acknowledgements. Conventions. Preface. Biographical sketch. 1. Introduction 2. The methodology of the Contributions 3. Early work in real analysis 4. Logic and methodology...
Anno: 2000
| Rusnock, Paul |
| Bolzano's philosophy and the emergence of modern mathematics / Paul Rusnock |
| Amsterdam : Rodopi, 2000. |
