DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Proof theory
Proof theory
The Corcoran-Smiley Interpretation of Aristotle's Syllogistic As
Does Reductive Proof Theory Have a Viable Rationale?
Notes on Proof Theory
Proof Theory of Constructive Systems: Inductive Types and Univalence
Proof Theory for Modal Logic
Nonclassical First Order Logics: Semantics and Proof Theory
The Relative Consistency of the Axiom of Choice — Mechanized Using Isabelle/ZF (Extended Abstract)
Combinatorial Proofs and Decomposition Theorems for First
Topics in the Theory of Recursive Functions
What Is Mathematical Logic? a Survey
Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
Power Kripke–Platek Set Theory and the Axiom of Choice
Lectures on Proof Theory
Entscheidungsproblem
Realizability for Constructive Zermelo-Fraenkel Set Theory
Proof Theory and Subsystems of Second-Order Arithmetic
The Foundations of Mathematics
Proof Theory Seminar Assignment 1
Top View
Choice Principles in Constructive and Classical Set Theories
The Number of Axioms
The Theory of the Foundations of Mathematics - 1870 to 1940
Revisiting Hilbert's “Non-Ignorabimus”
Proof Theory Foundations and Applications
Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics Francesca Poggiolesi
Formal Proof—Theory and Practice John Harrison
Philosophical Aspects of Proof Theory
Logic and Proof Computer Science Tripos Part IB
Unified Foundations for Mathematics
The Relative Consistency of the Axiom of Choice — Mechanized Using Isabelle/ZF
An Introduction to Proof Theory
Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
Proof Theory and Constructive Mathematics - Anne S
Natural Deduction
Proof Theory: from Arithmetic to Set Theory
Proof Theory of Martin-Löf Type Theory. an Overview La Théorie De La Preuve De La Théorie Des Types De Marin-Löf
Gödel on Turing on Computability
The Science of Proof: Mathematical Reasoning and Its Limitations
An Introduction to Proof Theory
Proof Theory and Proof Mining II: Formal Theories of Analysis
Highlights in Proof Theory
The Propositional and Relational Syllogistic∗
Proof Theory of Finite-Valued Logics
The Prospects for Mathematical Logic in the Twenty-First Century
Topics in Logic Proof Theory
From Proof Theory to Theories Theory
First-Order Logic - Syntax, Semantics, Resolution
Is Mathematical Logic Really Necessary in Teaching Mathematical Proofs?
Mathematical Logic
Lecture 9. Model Theory. Consistency, Independence, Completeness, Categoricity of Axiom Systems
The Cook-Reckhow Definition
The Brain and the New Foundations of Mathematics
Set Theory and Logic
An Introduction to Logic for Computer Science
Gödel's Correspondence on Proof Theory and Constructive Mathematics
Proof Theory
Symbolic Logic II, Lecture 3 1 in Order to Apply the Axiomatic Method, We Need the Following
Proof Theory for Theories of Ordinals—I: Recursively Mahlo Ordinals
Set Theory for Verification
Cut Elimination for Zermelo Set Theory