Try this search over all volumes: expres
Results 1-0 of 0
What people are saying - Write a review
We haven't found any reviews in the usual places.
does not depend for its level on the free elements of the abstract
a The Generalized System of Types Described
29 other sections not shown
a-abor a-ad abor Abst abstraction operator agg-closed arguments arithmetical sequences arithmetized syntax axiom of infinity axiom of reduci axiom of reducibility bound variables branched theory Burali-Forti Paradox c-th Cantor's Paradox Cantor's theorem cardinal numbers chain Conformal Variation Contrad corresponds defined Definitions demonstrable df A Sn directly derivable Dm G elem elem-sgn elem-var elements example expres formal formative rules free occurrences inductive cardinals lng'i lng'j lng'm mathe mathematical logic means NC induct null number pair number system occur omitted operand operator sign operator variable parentheses primitive sentence Principia Mathematica quasi-element quotes relation Russell paradox second kind sentential sign-const sn-var Strat stratified subscripts Subst Symbolic Logic syntactical system system of types systematic ambiguity terms of arithmetical theorems theory of types tokens type theory universal class universal predicate varQ whence zero kind