The Journal of Symbolic Logic, Volume 21Alonzo Church, Cooper Harold Langford Association for Symbolic Logic., 1957 - Electronic journals Publishes original scholarly work covering the entire field of symbolic logic, reflecting its role in philosophy and in mathematics. Includes newer aspects of logic, related to other disciplines such as computer science and linguistics. |
From inside the book
27 pages matching axiom of choice in this book
Page 366
Where's the rest of this book?
Results 1-3 of 27
Contents
A new approach to semantics Part I By JOHN G KEMENY | 28 |
Solution of a problem of Tarski By JOHN MYHILL | 49 |
Formal systems of constructive mathematics By M H Löв | 63 |
15 other sections not shown
Other editions - View all
Common terms and phrases
A₁ A₁-algebra algebra ALONZO CHURCH analysis applied argument arithmetical assertion Atrue axiom of choice beweisbar Boolean C₁ closure algebra condition consistent constants constructive contains deduction defined DEFINITION ML denote disjunction elements equivalent erhält expression finite formal system free variables given Gödel Hence Ibid implication impredicativities inference integers interpretation intuitionistic language Lemma mathematics matrix means method natural numbers negation notion obtained occur operator ordinal paper philosophy phrases Prämissen predicate calculus primitive recursive primitive recursive function problem Prof proof propositional calculus provable prove quantifiers real numbers recursive function recursively enumerable set relation replaced result reviewer ROBERT FEYS rules satisfying schema semantical sentence sequence set theory special formula statement synonymous synonymy T₁ Tarski theorem translation true truth universal quantifier University valid W. V. QUINE x₁ y₁