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
| Hernandez Alonso, Jesús. |
| Las estructuras matemàticas y Nicolás Bourbaki / Jesús Hernández |
| In: Ciencia en el siglo XX. Seminario Orotava, historia de la ciencia (4 : 19/1995 : La Orotava, Tenerife) p. 55-78 |
spoglio
NON posseduto
| Artmann, Benno |
| Euclid's and Hilbert's foundation of geometry / Benno Artmann |
| In: Pensiero di David Hilbert. p. 143-160 |
monografia
POSSEDUTO
Euler et le parcours du cavalier
avec une annexe sur le théorème des polyèdres
Sesiano, Jacques, 1944-
Euler, Leonhard, 1707-1783
Indice: Préface. Introduction. 1. Etablissement d'un trajet complet 2. Trajets symétriques 3. Trajets sur d'autres figures 4. Prédécesseurs d'Euler. Annexe: Le théorème d'Euler...
Anno: 2015
| Sesiano, Jacques, 1944- |
| Euler et le parcours du cavalier : avec une annexe sur le théorème des polyèdres / Jacques Sesiano |
| Lausanne : Presses polytechniques et universitaires romandes, c2015. |
monografia
POSSEDUTO
The evolution of Principia mathematica
Bertrand Russell's manuscripts and notes for the second edition
Linsky, Bernard
Indice: 1. Introduction; 2. Writing the second edition 3. Logic since the first edition 4. Notation and logic 5. Improvements; 6. Induction and types in Appendix B 7. The...
Anno: 2011
| Linsky, Bernard |
| The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition / Bernard Linsky |
| Cambridge : Cambridge university press, 2011. |
monografia
POSSEDUTO
Evoluzione e crisi di un paradigma
Peano e Croce
Centrone, Marino
Indice: Pt. 1.: 1. Sul concetto di paradigma 2. Il dibattito epistemologico sulla Revue de Métaphysique et de Morale. Pt. 2.: 3. Peano e il pensiero logico europeo 4. Genesi...
Anno: 1990
| Centrone, Marino |
| Evoluzione e crisi di un paradigma : Peano e Croce / Marino Centrone |
| Milano : F. Angeli, c1990. |
spoglio
POSSEDUTO
| Bar-Am, Nimrod, 1970- |
| Extensionalism and induction in Boole / Nimrod Bar-Am |
| In: Physis Vol. 41, n.s., fasc. 1 (2004) (stampa 2005), p. 97-123 |
spoglio
POSSEDUTO
| Epple, Moritz |
| Felix Hausdorff's considered empiricism / Moritz Epple |
| In: Architecture of modern mathematics. 263-289 |
spoglio
POSSEDUTO
| Eisele, Carolyn, 1902-2000 |
| Fermatian inference and De Morgan's syllogism of transposed quantity in Peirce's logic of science / Carolyn Eisele-Halpern |
| In: Physis A. 5, fasc. 2 (1963), p. 120-128 |
monografia
NON posseduto
| La filosofia di Gottlob Frege / a cura di Nicla Vassallo ; saggi di Claudia Bianchi ... [et al.]. |
| Milano : F. Angeli, c2003. |
spoglio
POSSEDUTO
| Ingaliso, Luigi, 1973- |
| Filosofia, logica matematica e prospettiva fondazionale in Mario Pieri / Luigi Ingaliso |
| In: Positivismo italiano: una questione chiusa?. p. 443-484 |
spoglio
POSSEDUTO
| Guillaume, Marcel |
| Finitisme et modèles décrits par leurs théories, de Hilbert à Gentzen / Marcel Guillaume |
| In: Actes du Congrès d'histoire des sciences et des techniques organisé à Poitiers du 20 au 22 mai 2004. Congrès d'histoire des sciences et des techniques (2004 : Poitiers) p. 40-45 |
spoglio
POSSEDUTO
| Calude, Cristian, 1952- |
| The first example of a recursive function which is not primitive recursive / by Cristian Calude and Solomon Marcus and Ionel Tevy |
| In: Historia mathematica Vol. 6 (1979), p. 380-384 |
monografia
POSSEDUTO
Fixing Frege
Burgess, John P., 1948-
Indice: Acknowledgments. 1. Frege, Russell and after 2. Predicative theories 3. Impredicative theories. Tables. Notes. References. Index
Anno: 2005
| Burgess, John P., 1948- |
| Fixing Frege / John P. Burgess. |
| Princeton : Princeton university press, c2005. |
spoglio
POSSEDUTO
| Casari, Ettore, 1933-2019 |
| Una fonte dimenticata : la teoria bolzaniana del significato / Ettore Casari |
| In: Rivista di filosofia Vol. 80, n. 3 (1989), p. 319-349 |
spoglio
NON posseduto
| Casalegno, Paolo |
| Frege : il problema dei dimostrativi e la teoria del significato / Paolo Casalegno |
| In: Teoria A. 3, fasc. 2 (1983), p. 67-82 |
spoglio
NON posseduto
| Mariani, Mauro |
| Frege : identità e reificazione dei modi di determinazione / di Mauro Mariani |
| In: Filosofia di Gottlob Frege. p. 129-144 |
monografia
NON posseduto
Frege
Penco, Carlo
Indice: Prefazione. Abbreviazioni. Introduzione. 1. Sfortuna di Frege 2. Incontri decisivi 3. Opere e svolte 4. Giudizi 5. II concetto di funzione e la nuova logica 6. Cartesio,...
Anno: 2010
| Penco, Carlo |
| Frege / Carlo Penco |
| Roma : Carocci, 2010. |
spoglio
POSSEDUTO
| Penco, Carlo |
| Frege e Carnap : verso una teoria integrata del senso / Carlo Penco |
| In: Prospettive della logica e della filosofia della scienza. p. 345-360 |
spoglio
NON posseduto
| Bianchi, Claudia |
| Frege e gli indicali / di Claudia Bianchi |
| In: Filosofia di Gottlob Frege. p. 9-25 |
monografia
NON posseduto
Frege e il neologicismo
Boolos, George
Pedeferri, Andrea
Frege, Gottlob, 1848-1925
...
Indice: 1. Il neologicismo: un'introduzione / di Andrea Pedeferri 2. Dai Fondamenti dell'aritmetica / di Gottlob Frege 3. La coerenza dei Fondamenti dell'aritmetica di Frege...
Anno: 2005
| Frege e il neologicismo / a cura di Andrea Pedeferri |
| Milano : F. Angeli, c2005. |
spoglio
NON posseduto
| Picardi, Eva. |
| Frege e Peano sul segno d'asserzione / Eva Picardi |
| In: Language, logic and formalization of knowledge. p. 199-222 |
spoglio
NON posseduto
| Morison, Benjamin |
| Frege on a defect in mathematical symbolism / Benjamin Morison |
| In: Quid est veritas?. p. 269-301 |
spoglio
POSSEDUTO
| Picardi, Eva. |
| Frege on definition and logical proof / Eva Picardi |
| In: Atti del Congresso Temi e prospettive della logica e della filosofia della scienza contemporanee. Congresso Temi e prospettive della logica e della filosofia della scienza contemporanee (1987 : Cesena) Vol. 1, p. 227-230 |
spoglio
NON posseduto
| Bar-Elli, Gilead |
| Frege's early conception of logic / Gilead Bar-Elli |
| In: Epistemologia A. 8, n. 1 (1985), p. 125-139 |
spoglio
POSSEDUTO
| Trinchero, Mario |
| Frege, Boole, lo psicologismo o la caccia all'oca selvatica / di Mario Trinchero |
| In: George Boole. p. 151-253 |
