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
Mathematische Logik - WS14/15 Iosif Petrakis, Felix Quirin Weitk¨ amper November 13, 2014
Mathematics: the divine madness
Mathematics for Computer Science/Software Engineering
Mathematicians
Mathematical Structures for Reachability Sets and Relations Summary
Mathematical Proofs: Where to Begin And How
MATHEMATICAL NOTIONS AND TERMINOLOGY
mathematical logic: constructive and non
