Frege(ID:7826/)
- Country: de
- Began: 1879
- Type:Symbolic
Related languages
Frege |
=> |
Principia Mathematica | |
Strong Reaction to |
References:
Frege, G. "Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens" Nebert, Halle, 1879. view details
Frege, G "Grundgesetze in der Arithmetik" view details
Frege, G "Die Grundlagen der Arithmetik" view details
Fairouz Kamareddine, Twan Laan and Rob Nederpelt "A History of Types in Logic and Mathematics"
view details
in Workshop on History of Logics, Types and Rewriting Heriot-Watt University, Edinburgh Tuesday 5 December 2000 view details
|