PPT - CCS
MODULE I
FC §1.1, §1.2 - Mypage at Indiana University
Abella: A System for Reasoning about Relational Specifications
Part3
Incompleteness - the UNC Department of Computer Science
Proof Theory: From Arithmetic to Set Theory
The Z/EVES 2.0 User`s Guide - Department of Computer Science
5 model theory of modal logic
Classical Propositional Logic
The Dedekind Reals in Abstract Stone Duality
X - NUS School of Computing
The Foundations
M - txstateprojects
Why use modulation ?
Exercise
P Q
Document
The Science of Proof - University of Arizona Math
ch1_Logic_and_proofs
