Begriffsschrift: Una lengua de fórmulas, construida para el pensamiento puro al modo de la aritmética
Gottlob Frege
1879·filosofia
Esta obra complementa a 'Ideografía' al ser el primer sistema formal de lógica proposicional y predicados, introduciendo la cuantificación de manera sistemática.





















