Introduction to Logic
Inductive Types in Constructive Languages
Lecture 34 Notes
KaplanPsyOrf322S05Presentation
Justification logic with approximate conditional probabilities
Jordan Bradshaw, Virginia Walker, and Dylan Kane
Jean Van Heijenoort`s View of Modern Logic
MODAL LANGUAGES AND BOUNDED FRAGMENTS OF
Modal fixpoint logic: some model theoretic questions
M-rank and meager groups
Logic in the Finite - CIS @ UPenn
Line Leader Logic Puzzle
Lesson 1 Contents - Headlee's Math Mansion
One Problem with the Material Conditional
On the paradoxes of set theory
On the Meaning of the Logical Constants and the
Peano`s Arithmetic
axioms
Assignment 6
Arindama Singh`s "Cantor`s Little Theorem"
