H ?
«
‹
←
→
›
»
Language peer sets for Zermelo-Fraenkel: Germany↑ Germany/1922↑ Designed 1922 ↑ 1920s languages ↑ Pre-Computing↑ Pre-War↑ Genus Symbolic ↑ Symbolic↑ Logical↑ Expression-oriented ↑ Symbolic/1922↑ Logical/1922↑ Expression-oriented/1922↑ Symbolic/Germany↑ Logical/Germany↑ Expression-oriented/Germany↑ Zermelo-Fraenkel(ID:7867/)alternate simple viewCountry: Germany Designed 1922 Genus: Symbolic Type theory much used in programming language theory, underpins most of type inference Unified by Thoralf Skolem in 1922, based on earlier work by Adolf Fraenkel in the same year, which was based on the axiom system put forth by Ernst Zermelo in 1908 (Zermelo set theory). Related languages
Resources Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |