The Bulletin of Symbolic LogicAssociation for Symbolic Logic, 1999 - Electronic journals |
Contents
19171922 by WILFRIED SIEG | 1 |
a case study in reverse mathematics by REED SOLOMON | 45 |
European Summer Meeting of the Association for Symbolic Logic | 59 |
Copyright | |
5 other sections not shown
Other editions - View all
Common terms and phrases
1-dimensional Abstracts algebra arithmetic Association for Symbolic automaton axiom set axiomatic Behmann Bernays Borel equivalence relations calculus closure Comp complete Computer Science construction countable defined definition Department of Mathematics Dept E-mail editors elementary embedding Euclidean geometry existence extension finite first-order formal formula function given Göttingen Hilbert induction infinite interpretation intuitionistic isomorphism KECHRIS language large cardinals Lecture Notes linear logic Logik Math mathematical logic Mathematical Society Mathematik modal model theory node ordinal P.O. Box paper Pasch Axiom Philos Philosophy Polish space predicate primitive notions problem proof theory properties propositional propositional logic provable prove quantifiers real numbers recursive relevant logics rules second-order semantics sentences sequence sequent calculus set theory Springer-Verlag structure subset Symbolic Logic Tarski theorem tree automata tree automaton Univ University variables Zermelo set theory