## The Bulletin of Symbolic Logic, Volume 7, Issues 1-4Association for Symbolic Logic, 2001 - Logic, Symbolic and mathematical |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Artemov Sergei N Explicit provability and constructive semantics | 1 |

Explicit provability and constructive semantics by Sergei N Artemov | 37 |

Reviews | 58 |

Copyright | |

35 other sections not shown

### Other editions - View all

### Common terms and phrases

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