Mathematical Logic

A₁ algebra algorithm atomic axiom axiomatized basic Boolean Bounded Arithmetic Brouwer C-critical called complete Computer Science constructive mathematics corresponding countable Curry-Howard isomorphism definability by means definition denote domain Edited by P. P. elements embedding equivalence exists EXPTIME extension finite set formula frames functor hence Heyting Heyting arithmetic IA+EXP induction interpretation intuitionistic linear intuitionistic logic isomorphic Kripke lambda calculus language Lemma logic programs Martin-Löf's type theory Math Mathematical Logic Mathematical Logic Edited means of logic modal logic natural numbers normal enumeration notion Nuprl obtained P. P. Petkov Plenum P₁ partial recursive PR(A predicate logic predicate symbol presheaf proof properties propositional logic provable prove PSPACE recursive function relation rules satisfying semantics sequence sharply bounded Sofia space strictly positive subset Suppose term theorem type theory unary V-weak admissible variables X₁ Y₁