H ?
«
‹
←
→
›
»
Language peer sets for Peano: Italy↑ Italy/1888↑ Designed 1888 ↑ languages ↑ ↑ ↑ Genus Symbolic ↑ Excluded from Sammet ↑ Symbolic↑ Logical↑ Expression-oriented ↑ Symbolic/1888↑ Logical/1888↑ Expression-oriented/1888↑ Symbolic/Italy↑ Logical/Italy↑ Expression-oriented/Italy↑ Excluded from Sammet ↑ Excluded from Sammet/1888↑ Excluded from Sammet/it ↑ Peano(ID:6962/pea006)Peanoalternate simple viewCountry: Italy Designed 1888 Genus: Symbolic Sammet category: Excluded from Sammet Peano's formalism of logic, introduces rigid symbolic symbols for quantifiers etc. Basis of the PM, and therefore the ancestor of a range of symbolic systems Our upside down A and backwards E are the result of Peano's penchant for typography. Related languages
References: in [Proceedings] (2000) Workshop on History of Logics, Types and Rewriting Heriot-Watt University, Edinburgh Tuesday 5 December 2000 Resources
Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |