Logical frameworks

A framework for defining logics

Journal of the ACM (JACM)

CAL: A Computer Assisted Learning System for Computation and Logic

Computer Aided Systems Theory - EUROCAST 2001-Revised Papers

Theory of Judgments and Derivations

Progress in Discovery Science, Final Report of the Japanese Discovery Science Project

Proof-assistants using dependent type systems

Handbook of automated reasoning

Categorical properties of logical frameworks

Mathematical Structures in Computer Science

A Trustworthy Proof Checker

Journal of Automated Reasoning

Functional pearl: i am not a number--i am a free variable

Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell

A survey of automated deduction

Artificial intelligence today