Begriffsschrift: Un lenguaje formal, modelado según el de la aritmética, para el pensamiento puro
Gottlob Frege
1879·filosofia
Ambos textos desarrolan un sistema de notación lógica que fundamenta el análisis de inferencias, destacando la importancia de la lógica formal.





















