H ? « ‹ ← → › »

Language peer sets for Frege:
Germany↑
Germany/1879↑
Designed 1879 ↑
languages ↑
↑
↑
Genus Symbolic ↑
Symbolic↑
Logical↑
Expression-oriented ↑
Symbolic/1879↑
Logical/1879↑
Expression-oriented/1879↑
Symbolic/Germany↑
Logical/Germany↑
Expression-oriented/Germany↑

Frege(ID:7826/)

alternate simple view
Country: Germany
Designed 1879
Genus: Symbolic
Related languages
Frege → Principia Mathematica   Strong Reaction to
References:
  • Frege, G. (1879) Frege, G. "Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens" Nebert, Halle, 1879.
  • Frege, G (1984) Frege, G "Grundgesetze in der Arithmetik"
  • Frege, G (1989) Frege, G "Die Grundlagen der Arithmetik"
  • Fairouz Kamareddine, Twan Laan and Rob Nederpelt (2000) Fairouz Kamareddine, Twan Laan and Rob Nederpelt "A History of Types in Logic and Mathematics"
          in [Proceedings] (2000) Workshop on History of Logics, Types and Rewriting Heriot-Watt University, Edinburgh Tuesday 5 December 2000
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder