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
| Casari, Ettore, 1933-2019 |
| I sistemi logici di Stanislaw Lesniewski / Ettore Casari |
| In: Logica e politica. p. 61-118 |
spoglio
NON posseduto
| Casari, Ettore, 1933-2019 |
| Some remarks on Bolzano's notion of a quality / Ettore Casari |
| In: Logic and philosophy in Italy. p. 185-201 |
spoglio
POSSEDUTO
| Anellis, Irving H. |
| Some unpublished papers of Jean van Heijenoort / Irving H. Anellis. |
| In: Historia mathematica Vol. 15 (1988), p. 270-274 |
monografia
POSSEDUTO
Sotto il segno di Gödel
Lolli, Gabriele, 1942-
Indice: Prefazione. 1. Il secolo di Gödel 2. Incompletezza 3. Indecidibilità 4. Gödel e gli insiemi 5. Gödel filosofo 6. La filosofia della matematica 7. Gödel umorista 8....
Anno: 2007
| Lolli, Gabriele, 1942- |
| Sotto il segno di Gödel / Gabriele Lolli |
| Bologna : Il mulino, 2007. |
spoglio
POSSEDUTO
| Batóg, Tadeusz |
| Stanislaw Piatkiewicz and the beginnings of mathematical logic in Poland / Tadeusz Batóg and Roman Murawski |
| In: Historia mathematica Vol. 23 (1996), p. 68-73 |
spoglio
NON posseduto
| Casalegno, Paolo |
| Lo strano caso del dr. Gustav Lauben / Paolo Casalegno |
| In: Atti del Convegno internazionale di storia della logica. p. 313-318 |
spoglio
NON posseduto
| Freguglia, Paolo |
| Studi sui fondamenti della geometria nella seconda metà dell'Ottocento, con particolare riferimento alla situazione italiana / Paolo Freguglia |
| In: Pensiero di David Hilbert. p. 161-205 |
monografia
POSSEDUTO
| Studies in the logic of Charles Sanders Peirce / Nathan Houser, Don D. Roberts and James van Evra editors. |
| Bloomington : Indiana university press, 1997. |
spoglio
POSSEDUTO
| Bruni, Riccardo |
| Su alcune ricadute concettuali dei teoremi di incompletezza di Kurt Gödel / Riccardo Bruni |
| In: Annali del Dipartimento di filosofia, Università degli studi di Firenze N.s., 9-10 (2003-2004) (stampa 2005), p. 209-226 |
spoglio
NON posseduto
| Borga, Marco |
| Su alcuni contributi di Peano e della sua scuola alla logica matematica / M. Borga, P. Freguglia, D. Palladino |
| In: Atti del Convegno internazionale di storia della logica. p. 337-341 |
spoglio
NON posseduto
| Moriconi, Enrico |
| Su una difesa dello strumentalismo in filosofia della matematica / Enrico Moriconi |
| In: Logica e teologia. p. 117-135 |
spoglio
POSSEDUTO
| Cantù, Paola |
| Sul concetto di eguaglianza : Peano e la sua scuola / Paola Cantù |
| In: Peano e la sua scuola fra matematica, logica e interlingua. p. 545-562 |
spoglio
NON posseduto
| Vassallo, Nicla |
| Sul contributo della logica alla filosofia e viceversa : due casi esemplari / Nicla Vassallo |
| In: Epistemologia A. 18, n. 1 (1995), p. 39-74 |
spoglio
NON posseduto
| Casari, Ettore, 1933-2019 |
| Sull'origine dell'oggettivo in Bolzano / Ettore Casari |
| In: Logica e teologia. p. 93-115 |
spoglio
NON posseduto
| Borga, Marco |
| Sulla consistenza delle teorie matematiche : Hilbert e la scuola di Peano a confronto / Marco Borga |
| In: Epistemologia A. 15 (1992), p. 41-54 |
spoglio
NON posseduto
Sulla problematicità del principio del terzo escluso
linguisticità e senso concreto del principio nella lettura intuizionista di L.E.J. Brouwer
Pittarello, Silvia
Anno: 2000
| Pittarello, Silvia |
| Sulla problematicità del principio del terzo escluso : linguisticità e senso concreto del principio nella lettura intuizionista di L.E.J. Brouwer / Silvia Pittarello |
| In: Epistemologia A. 23, n. 1 (2000) p. 119-145 |
spoglio
POSSEDUTO
Sulla prova di Goedel della non-dimostrabilità della non-contradittorietà nella formalizzazione di Bernays
considerazioni filosofiche tra le due culture
Rivetti Barbò, Francesca
Hilbert, David, 1862-1943
Bernays, Paul, 1888-1977
Anno: 1995
| Rivetti Barbò, Francesca |
| Sulla prova di Goedel della non-dimostrabilità della non-contradittorietà nella formalizzazione di Bernays : considerazioni filosofiche tra le due culture / Francesca Rivetti Barbò |
| In: Scienza e filosofia. p. 279-294 |
spoglio
NON posseduto
| Garavaso, Pieranna |
| Il supposto argomento dell'indispensabilità di Frege / di Pieranna Garavaso |
| In: Filosofia di Gottlob Frege. p. 95-111 |
spoglio
POSSEDUTO
| Murata, Tamotsu |
| Sur l'évolution de l'idée d''effectif' dans l'histoire de la théorie des ensembles / Tamotsu Murata |
| In: Revue d'histoire des sciences T. 26 (1973), p. 365-368 |
spoglio
POSSEDUTO
| Darnell, Eamon |
| Takeuti's well-ordering proof : finitistically fine? / Eamon Darnell and Aaron Thomas-Bolduc |
| In: Research in history and philosophy of mathematics. p. 167-180 |
spoglio
POSSEDUTO
| Mancosu, Paolo |
| Tarski on models and logical consequence / Paolo Mancosu |
| In: Architecture of modern mathematics. p. 209-237 |
spoglio
POSSEDUTO
| Anellis, Irving H. |
| Tarski's development of Peirce's logic of relations / Irving H. Anellis. |
| In: Studies in the logic of Charles Sanders Peirce. p. 271-303 |
spoglio
POSSEDUTO
| Galvan, Sergio |
| Un tema centrale della filosofia della logica e della matematica di E. Agazzi : limiti del formalismo, significato ed intenzionalità / Sergio Galvan |
| In: Filosofia, scienza e bioetica nel dibattito contemporaneo. p. 171-182 |
monografia
POSSEDUTO
Il teorema di Gödel
una messa a fuoco
Shanker, Stuart G.
Pagli, Paolo
Gödel, Kurt, 1906-1978
...
Contenuto: Prefazione all'edizione italiana / Paolo Pagli, p. VII-XXI; Prefazione / S.G. Shanker, p. XXIII-XXVI; Kurt Gödel: un'immagine più nitida / John W. Dawson Jr., p....
Anno: 1991
| Il teorema di Gödel : una messa a fuoco / [a cura di] S.G. Shanker ; [traduzione e cura di Paolo Pagli] |
| Padova : F. Muzzio, 1991. |
spoglio
NON posseduto
| Givigliano, Alfredo |
| Teorema di Gödel, logica fuzzy e negazione / Alfredo Givigliano |
| In: Bollettino filosofico 18 (2002), p. 140-158 |
