How to Express Self-Referential Probability and Avoid the
Document
How to Write a 21st Century Proof
Mathematische Logik - WS14/15 Iosif Petrakis, Felix Quirin Weitk¨ amper November 13, 2014
page 113 THE AGM THEORY AND INCONSISTENT BELIEF
Modal Logic for Artificial Intelligence
Notions of Computability at Higher Type
Natural Deduction Proof System
Principia Logico-Metaphysica (Draft/Excerpt)
Predicate Logic
Set Theory and Logic
Second-order Logic
Sample pages 2 PDF
Sample Exam 1 - Moodle
Word file - UC Davis
The Foundations
AN EARLY HISTORY OF MATHEMATICAL LOGIC AND
Adequate set of connectives
A Textbook of Discrete Mathematics
