Le origini della logica matematica moderna
di Gabriele Lollià
da SAPERE numero 760, maggio 1973
La logica matematica si è formata come disciplina autonoma, caratterizzata dallo studio dei sistemi formali, al termine di una particolare fase di sviluppo della riflessione sui fondamenti della matematica e dell'uso del simbolismo nella logica.