
Journals in DBLP
 Fairouz Kamareddine
Editorial. [Citation Graph (0, 0)][DBLP] J. Applied Logic, 2004, v:2, n:2, pp:169172 [Journal]
 Jonathan P. Seldin
Interpreting HOL in the calculus of constructions. [Citation Graph (0, 0)][DBLP] J. Applied Logic, 2004, v:2, n:2, pp:173189 [Journal]
 Martin W. Bunder, Jonathan P. Seldin
Variants of the basic calculus of constructions. [Citation Graph (0, 0)][DBLP] J. Applied Logic, 2004, v:2, n:2, pp:191217 [Journal]
 René David, Christophe Raffalli
An experiment concerning mathematical proofs on computers with French undergraduate students. [Citation Graph (0, 0)][DBLP] J. Applied Logic, 2004, v:2, n:2, pp:219239 [Journal]
