Artificial Intelligence
Ambient Logic II.fm
Advanced Logic —
Acts of Commanding and Changing Obligations
A,B
A survey on Interactive Theorem Proving
Chapter 13 BOOLEAN ALGEBRA
MoggiMonads.pdf
Modular Construction of Complete Coalgebraic Logics
Model-Checking First-Order Logic Automata and Locality
Lecture Notes on the Lambda Calculus
Lecture Notes 2
Laserprogrammeeritav loogika.
Is `structure` a clear notion? - University of Illinois at Chicago
Note 2 - inst.eecs.berkeley.edu
Math 318 Class notes
m - Arie Gurfinkel
