The Bulletin of Symbolic Logic, Volume 8, Issues 1-4Association for Symbolic Logic, 2002 - Logic, Symbolic and mathematical |
Contents
R Epstein and W Carnielli Computability Reviewed by Carlos Augusto Di Prisco | 101 |
The problem of logical constants by MARIO GÓMEZTORRENTE | 142 |
Types in logic and mathematics before 1940 by FAIROUZ KAMAREDDINE | 185 |
Copyright | |
29 other sections not shown
Other editions - View all
Common terms and phrases
abstract applications argument arithmetic Association for Symbolic atomic axioms binary relation Boolean calculus cardinal characterization choice sequences class of finite complete Computer Science concept construction countable defined definition denote Department of Mathematics domain E-mail elements equivalent example existence existential finite model finite structures first-order logic formula free variables Frege Gentzen Gödel Hertz hierarchy impredicative induction infinitary infinite intuitionistic isomorphic Journal of Symbolic language Lemma logical constants Math Mathematica mathematical logic modal logic model theory natural numbers normal form notation notion obtained ordinal paper paradox Philosophy predicate predicate logic Principia principle problem proof theory properties provable proved quantifiers realizability recursive relation algebras restrictions rules semantics sentence set theory Skolem subset Symbolic Logic Tarski theorem theory of types Turing degree type theory universal quantifiers University WCPC-category Zermelo