H ? « ‹ ← → › »

Language peer sets for New Foundations:
United States↑
United States/1936↑
Designed 1936 ↑
1930s languages ↑
Pre-Computing↑
Pre-War↑
Genus Symbolic ↑
Symbolic↑
Logical↑
Expression-oriented ↑
Symbolic/1936↑
Logical/1936↑
Expression-oriented/1936↑
Symbolic/United States↑
Logical/United States↑
Expression-oriented/United States↑

New Foundations(ID:7866/)

alternate simple view
Country: United States
Designed 1936
Genus: Symbolic


Quine's incorporation of Principia Ramified Type theory and the Zerlino-Fraenkel Set-Type theory
Related languages
Principia Mathematica → New Foundations   Incorporated some features of
Zermelo-Fraenkel → New Foundations   Incorporated features
New Foundations → Quine   Evolution of
References:
  • Butz, C. (2000) Butz, C. "Quine's New Foundations (NF)" Abstract Online copy
          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