Annals of Pure and Applied Logic · 2011 · 24 citations · 11 references
HumanitiesComputer ScienceKnowledge RepresentationLogicCombinational Logic DescriptionDescription LogicsPhilosophical LogicPhilosophy Of LogicPredicate LogicPropositional LogicHybrid LogicHybrid LogicsMulti-modal Logic
11
Jean-Yves Girard · Theoretical Computer Science · 1987 · 4.1K citations
Fiftieth volume of theoretical computer science
Maurice Nivat · Theoretical Computer Science · 1988 · 1.3K citations
Investigations into Logical Deduction
Gerhard Gentzen · American Philosophical Quarterly · 1964 · 661 citations
Uniform proofs as a foundation for logic programming
Dale Miller, Gopalan Nadathur, Frank Pfenning et al. · Annals of Pure and Applied Logic · 1991 · 576 citations
Computing, Computer Science, Logic +16