p q
Proofs
Prolog 1 - Department of Computer Science
Principia Logico-Metaphysica (Draft/Excerpt)
The Perfect Set Theorem and Definable Wellorderings of the
The Ontological Argument is a logical sleight of hand
The Herbrand Manifesto
Weak Theories and Essential Incompleteness
Richard D. Gill
Rich Chapter 5 Predicate Logic - Computer Science
relevant reasoning as the logical basis of
Relevant and Substructural Logics
Recursive Predicates And Quantifiers
slides
Simplicity, Truth, and Topology Kevin T. Kelly Konstantin Genin Hanti Lin
Set Theory (MATH 6730) HOMEWORK 1 (Due on February 6, 2017
Sequent calculus - Wikipedia, the free encyclopedia
Sample pages 2 PDF
Structural Proof Theory
Stephen Cook and Phuong Nguyen. Logical foundations of proof
Solutions to assignment 5