What people are saying - Write a review
We haven't found any reviews in the usual places.
Artemov Sergei N Explicit provability and constructive semantics
Explicit provability and constructive semantics by Sergei N Artemov
35 other sections not shown
Other editions - View all
abelian groups abstract algebraic algorithm analysis applications argument Association for Symbolic atoms automorphism axiom of choice axiomatic basic Boolean Borel bounded arithmetic calculus classical closed fields complexity computer science conjecture constructive countable definition denote Department of Mathematics Dept E-mail editors equivalence relation example exists extension Feferman finite Morley rank first-order logic formal formula Frege function George Boolos Godel hierarchy Hilbert induction infinite interpretation intuitionistic logic isomorphism iteration Journal of Symbolic language large cardinals Lecture Notes Lemma Math mathematical logic Mathematical Society metric spaces modal logic model theory Morley rank natural numbers notion operator ordinal paper permutation permutation model Philos Philosophy Polish metric spaces predicate principle problem proof theory propositional provability prove quantifiers recursive reverse mathematics second-order logic semantics sentences sequence set theory structure subgroup subset Symbolic Logic Theorem Turing Univ weakly normal