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
| Tamburrini, Guglielmo |
| Mechanical procedures in epistemology / Guglielmo Tamburrini |
| 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. 365-370 |
monografia
POSSEDUTO
Memoirs of a proof theorist
Gödel and other logicians
Takeuti, Gaisi, 1926-2017
Passell, Nicholas.
Yasugi, Mariko
Indice: Translator's foreword. Preface to the original edition. Preface to the revised edition. Author's preface to the translation. 1. On Gödel 2. Work of Paul Bernays and...
Anno: 2003
| Takeuti, Gaisi, 1926-2017 |
| Memoirs of a proof theorist : Gödel and other logicians / [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell |
| New Jersey : World scientific, c2003. |
spoglio
POSSEDUTO
| Vassallo, Nicla |
| Mente e conoscenza : una lettura della filosofia booleana / di Nicla Vassallo |
| In: George Boole. p. 131-151 |
spoglio
POSSEDUTO
| Facco, Maria Luisa |
| Metafisica, logica e matematica : alcune prospettive a confronto : Leibniz, Boole, Rosmini / Maria Luisa Facco |
| In: Rivista rosminiana di filosofia e cultura A. 88, fasc. 3 (1994), p. 241-280 |
monografia
POSSEDUTO
Metafisica, logica, matematica
Leibniz, Boole, Rosmini
Facco, Maria Luisa
Indice: Introduzione. 1. Alcune prospettive a confronto: Leibniz, Boole, Rosmini 2. L'ars combinatoria e la scienza dell'arte del ragionare: Leibniz e Rosmini 3. Boole e l'analisi...
Anno: 1997
| Facco, Maria Luisa |
| Metafisica, logica, matematica : Leibniz, Boole, Rosmini / Maria Luisa Facco |
| Venezia : Marsilio, 1997. |
spoglio
NON posseduto
| Franchella, Miriam |
| I miei ricordi di Corrado Mangione in Università / di Miriam Franchella |
| In: Ricerca logica in Italia. p. 143-146 |
spoglio
NON posseduto
| Pretto, G. |
| Mistica come etica della filosofia della matematica di L.E.J. Brouwer / G. Pretto, G. Sambin |
| In: Atti del Convegno internazionale di storia della logica. p. 359-362 |
monografia
NON posseduto
Un modello per la mente
saggio su George Boole
Storari, Gian Pietro
Introduzione 1. La logica, la matematica, la mente 2. La forma soggiacente del linguaggio 3. Un modello per la mente
Anno: 1996
| Storari, Gian Pietro |
| Un modello per la mente : saggio su George Boole / Gian Pietro Storari |
| Cagliari : CUEC, 1996. |
monografia
NON posseduto
Un mondo senza tempo
l'eredità dimenticata di Godel e Einstein
Yourgrau, Palle
Sosio, Libero, 1935-
Indice: 1. Una congiura del silenzio 2. Una propensione tedesca per la metafisica 3. Vienna: circoli logici 4. Una spia nella casa della logica 5. E' difficile lasciare Vienna...
Anno: 2006
| Yourgrau, Palle |
| Un mondo senza tempo : l'eredità dimenticata di Godel e Einstein / Palle Yourgrau ; traduzione di Libero Sosio |
| Milano : Il Saggiatore, c2006. |
spoglio
POSSEDUTO
| Ferreirós, José |
| The motives behind Cantor's set theory : physical, biological and philosophical question / José Ferreirós. |
| In: New questions and new approaches in the history of mathematics. p. 49-83 |
spoglio
POSSEDUTO
| Miró Quesada Cantuarias, Francisco |
| Necessary and sufficient conditions of deducibility / Francisco Miró Quesada Cantuarias. |
| In: Filosofia, scienza e bioetica nel dibattito contemporaneo. p. 865-873 |
monografia
POSSEDUTO
New light on George Boole
MacHale, Desmond
Cohen, Yvonne
Indice: Acknowledgements. Illustrations. Foreword. Introduction. 1. Boole family history notebook 2. Life of George Boole by his sister MaryAnn Boole 3. Home and work (1849-1855)...
Anno: 2018
| MacHale, Desmond |
| New light on George Boole / Desmond MacHale and Yvonne Cohen |
| Cork : Atrium, 2018. |
spoglio
POSSEDUTO
| Clark, William Glenn, m. 1993 |
| New light on Peirce's iconic notation for the sixteen binary connectives / Glenn Clark |
| In: Studies in the logic of Charles Sanders Peirce. p. 304-333 |
spoglio
POSSEDUTO
| Storari, Gian Pietro |
| Newtonianesimo e scienza della mente : George Boole e le leggi del pensiero / Gian Pietro Storari |
| In: Filosofia scienza storia. p. 249-271 |
spoglio
NON posseduto
| Vignolo, Massimiliano |
| Nomi propri, descrizioni definite e contenuti proposizionali : su un fraintendimento di Kripke / Massimiliano Vignolo |
| In: Epistemologia A. 24, n. 1 (2001), p. 123-146 |
spoglio
POSSEDUTO
| Agazzi, Evandro, 1934- |
| Una nota biografica su George Boole / di Evandro Agazzi e Nicla Vassallo |
| In: George Boole. p. 11-15 |
spoglio
POSSEDUTO
| Moriconi, Enrico |
| Una nota sul secondo [epsilon]-teorema di D. Hilbert / Enrico Moriconi |
| 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. 339-344 |
spoglio
POSSEDUTO
| Freguglia, Paolo |
| Nota sulle origini del calcolo logico / di Paolo Freguglia |
| In: Atti degli incontri di logica matematica. p. 359-363 |
spoglio
NON posseduto
| Corsi, Giovanna A. |
| A note of indexicals and Frege's notion of sense / Giovanna A. Corsi |
| In: Atti del Convegno internazionale di storia della logica. p. 319-324 |
spoglio
NON posseduto
| Ferrito, Federico |
| Numero, concetto e predicazione in Frege : oggettività v/s soggettività / Federico Ferrito |
| In: Studium philosophicum A. 2, n. 3 (2003), p. 6-61 |
spoglio
POSSEDUTO
| Moriconi, Enrico |
| On a defence of instrumentalism in the philosophy of mathematics / Enrico Moriconi |
| In: Logica e filosofia della scienza. Società italiana di logica e filosofia delle scienze. p. 185-195 |
spoglio
POSSEDUTO
On Cantor's continuum problem and well ordering
what really happened at the 1904 International congress of mathematicians in Heidelberg
Purkert, Walter
Anno: 2015
| Purkert, Walter |
| On Cantor's continuum problem and well ordering : what really happened at the 1904 International congress of mathematicians in Heidelberg / Walter Purkert |
| In: Delicate balance. p. 3-24 |
spoglio
NON posseduto
| Riverso, Emanuele |
| On denoting: 100 years : Russell's theory of descriptions / Emanuele Riverso |
| In: Metalogicon A. 18, n. 2 (2005), p. 85-96 |
spoglio
NON posseduto
| Picardi, Eva. |
| On Frege's notion of Inhalt / Eva Picardi |
| In: Atti del Convegno internazionale di storia della logica. p. 307-312 |
spoglio
POSSEDUTO
| Ferreirós, José |
| On the relations between Georg Cantor and Richard Dedekind / José Ferreirós. |
| In: Historia mathematica Vol. 20 (1993), p. 343-363 |
