Philosophy 240: Symbolic Logic
Philosophy 120 Symbolic Logic I H. Hamner Hill
PHIL12A Section answers, 9 February 2011
PHIL012 Class Notes
Phil 2302 Intro to Logic
PHIL 160: Introduction to Philosophy of Science
PHIL 103: Logic and Reasoning QRII Homework #3 Due Monday
PhD Thesis First-Order Logic Investigation of Relativity Theory with
Pete,
Per Lindström FIRST
Pebble weighted automata and transitive - LSV
Peano`s Arithmetic
Peano and Heyting Arithmetic
pdf [local copy]
pdf version
Object-Based Unawareness
Numbers Strand Lecture 5 (Week 8)
Nuclear Fusion, the Cosmological Principle, and the Drake Equation
NPComplete
NP-complete
Notions of locality and their logical characterizations over nite