Book Chapter
Boolean formalism and explanations
Eric C. R. Hehner
Lecture Notes in Computer Science, 1996, Volume 1101, Algebraic Methodology and Software Technology, Pages 351-374
Book Chapter
Just Enough Logic
Bertrand Meyer
2009, Touch of Class, Part 1, Pages 71-106
Book Chapter
Formal Reasoning About Systems, Software and Hardware
Using Functionals, Predicates and Relations
Raymond Boute
IFIP International Federation for Information Processing, 2004, Volume 157, Information Technology, Pages 85-114
Book Chapter
Propositional Logic
2006, Discrete Mathematics Using a Computer, Part II, Pages 109-162
Journal Article
Schönfinkel-type Operators for Classical Logic
Katalin Bimbó
Studia Logica, 2010, Volume 95, Number 3, Pages 355-378
Journal Article
Meredith, Prior, and the History of Possible Worlds Semantics
B. Jack Copeland
Synthese, 2006, Volume 150, Number 3, Pages 373-397
Book Chapter
B
2008, The Relational Database Dictionary, Pages 15-21
Book Chapter
Temporal Algebra
Burghard von Karger
Lecture Notes in Computer Science, 2002, Volume 2297, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Pages 310-386
Journal Article
ON TARSKI’S ASSUMPTIONS
Jaakko Hintikka
Synthese, 2004, Volume 142, Number 3, Pages 353-369
Book Chapter
Lcf: A way of doing proofs with a machine
Robin Milner
Lecture Notes in Computer Science, 1979, Volume 74, Mathematical Foundations of Computer Science 1979, Pages 146-159