Can I read Introduction to Proof Theory and Logic on EtoBox?

Introduction to Proof Theory and Logic by Kieran Salsone is a document available to read on EtoBox.

What is Introduction to Proof Theory and Logic about?

This document provides an outline for a book introducing key concepts in proof theory and their philosophical applications. The book aims to serve as a gentle introduction to proof theory, take a non-partisan approach, introduce applications of proof theory, and present some new results. It will examine proof systems for different logics and connect proof theory to issues in philosophy of language and meaning.

Author

Kieran Salsone

Language

EN