Annals of Pure and Applied Logic · 2004 · 270 citations · 2 references
HumanitiesMathematicsFormal MethodsLogicSemanticsFormal SemanticsMathematical LogicPredicate LogicProof ComplexityProof TheoryTheorem ProvingFormal Proof Systems
2
Jaakko Hintikka · 1962 · 1.5K citations
Explicit Provability and Constructive Semantics
Sergei Artëmov · Bulletin of Symbolic Logic · 2001 · 449 citations