| 1 | | [titolo] |
| 2 | | [copyright] |
| 3 | | [frontespizio] |
1978.04 | 5 | | Presentazione [ di Carlo Ciliberto ] |
| 9 | | Indice |
| 11 | I | I fondamenti della matematica |
n. 61, 1973.09 | 13 | 1. | Sui paradossi di Zenone [ di Martin Gardner ] |
| 173 | | Autore |
| 173 | | Bibliografia |
SA n. 1, 1964.01 | 17 | 2. | I fondamenti della matematica [ di Willard Van Orman Quine ] |
| 173 | | Autore |
| 173 | | Bibliografia |
n. 1, 1968.09 | 25 | 3. | La teoria non cantoriana degli insiemi [ di Paul Joseph Cohen ET Reuben Hersh ] |
| 173 | | Autori |
| 174 | | Bibliografia |
n. 49, 1972.09 | 34 | 4. | L'analisi non-standard [ di Martin David Davis ] |
| 174 | | Autore |
| 174 | | Bibliografia |
n. 48, 1972.08 | 42 | 5. | Nuovi modelli del sistema dei numeri [ di Gabriele Lolli ] |
| 174 | | Autore |
| 174 | | Bibliografia |
n. 39, 1971.11 | 50 | 6. | Tre personaggi della matematica [ di Bruno De Finetti ] |
| 174 | | Autore |
| 174 | | Bibliografia |
| 65 | II | Matematica e logica |
n. 9, 1969.05 | 66 | 7. | Algebra di Boole, diagrammi di Venn e calcolo proposizionale [ di Martin Gardner ] |
| 174 | | Autore |
| 174 | | Bibliografia |
n. 50, 1972.10 | 70 | 8. | Verità e dimostrazione [ di Alfred Tarski ] |
| 175 | | Autore |
| 175 | | Bibliografia |
n. 50, 1972.10 | 81 | 9. | Un libro di logica smarrito di Lewis Carroll [ di William Warren III Bartley ] |
| 175 | | Autore |
| 175 | | Bibliografia |
n. 21, 1970.05 | 89 | 10. | Un nuovo livello di astrazione: la teoria delle categorie [ di Lucio Lombardo Radice ] |
| 175 | | Autore |
| 175 | | Bibliografia |
n. 58, 1973.06 | 98 | 11. | Induzione e probabilità [ di Domenico Costantini ET Marco Mondadori ] |
| 175 | | Autori |
| 175 | | Bibliografia |
n. 60, 1973.08 | 104 | 12. | I problemi della conferma [ di Wesley C. Salmon ] |
| 176 | | Autore |
| 176 | | Bibliografia |
n. 34, 1971.06 | 113 | 13. | Problemi non risolti dell'aritmetica [ di Howard DeLong ] |
| 176 | | Autore |
| 176 | | Bibliografia |
| 125 | III | Matematica e realtà |
n. 41, 1972.01 | 126 | 14. | La macchina di turing e la questione da essa sollevata: può una macchina pensare |
| 176 | | Autore |
| 176 | | Bibliografia |
SA, 1965.11 | 130 | 15. | Giochi, logica e calcolatori [ di Hao Wang ] |
| 176 | | Autore |
| 176 | | Bibliografia |
n. 66, 1974.02 | 138 | 16. | Il decimo problema di Hilbert [ di Martin David Davis ET Reuben Hersh ] |
| 176 | | Autori |
| 176 | | Bibliografia |
n. 108, 1977.08 | 147 | 17. | Gli algoritmi [ di Donald Ervin Knuth ] |
| 176 | | Autori |
| 177 | | Bibliografia |
n.96, 1976.08 | 158 | 18. | La teoria delle catastrofi [ di Erik Christopher, Sir Zeeman ] |
| 177 | | Autore |
| 177 | | Bibliografia |
| 173 | | Note biografiche e bibliografiche |
| 179 | | Indice analitico |
| 181 | | _ |
| 184 | | [tipografia] |
| 184 | | ___ |