30 pages matching notation in this book
What people are saying - Write a review
We haven't found any reviews in the usual places.
11 other sections not shown
Other editions - View all
abstract algebraic algorithm argument-text arithmetic Association for Symbolic axioms Borel Borel equivalence relation bounded Cambridge Canada cardinality Church Coll Comp complete Computer Science construction countable defined definition denote Department of Mathematics Dept domain E-mail editors elements equivalence relation finite model first-order first-order logic fixed point formal formula Germany given Godel graph induction Info Inst interpretation intuitionistic intuitionistic logic isomorphism Japan Journal of Symbolic lambda calculus language Lemma linear linear logic Matematica Math metric space modal logic model theory natural numbers notation notion ordinal P.O. Box paper Philos predicate presheaf problem programming proof theory Proposition prove real number recursion theory recursive functions reduction result satisfies semantics sentence sequence set theory Skolem Springer-Verlag Stanford structure subset Symbolic Logic Tarski Theorem topological Turing type theory Univ University variables Well-Ordering Theorem Zermelo