m'3c1


contributi pre-aristotelici           - Zenone
                                      - Parmenide
                                      - Socrate
                                      - Platone
logica aristotelica                   - Aristotele
logica medievale                      - Pietro Ispano
                                      - Guglielmo da Ockham
                                      - Walter Burleigh
                                      - Giovanni Buridano
                                      - Paolo Veneto
calcolo logico                        - G. W. Leibniz
                                      - G. Boole
                                      - A. De Morgan
                                      - C. S. Peirce
                                      - E. Schroeder
crisi dei fondamenti                  - A. L. Cauchy
                                      - N. J. Lobatcevskij
                                      - J. Bolyai
                                      - C. F. Gauss
                                      - B. Riemann
                                      - E. Beltrami
teoria degli insiemi                  - G. Cantor
assiomatizzazione dell'aritmetica     - G. Peano
                                      - R. Dedekind
logicismo                             - G. Frege
                                      - B. Russell
                                      - A. Whitehead
formalismo                            - D. Hilbert
intuizionismo                         - J. E. L. Brouwer
                                      - H. Weyl
                                      - A. Hetyng
incompletezza                         - K. Goedel
principali sviluppi                   - E. Zermelo
                                      - A. Fraenkel
                                      - T. Skolem
                                      - K. Goedel
                                      - A. Tarski
                                      - G. Gentzen
                                      - A. Church
                                      - S. C. Kleene
                                      - A. M. Turing
ricerca logica dopo il 1950           - A. Robinson
                                      - A. Tarski
                                      - P. R. Halmos