Basic Proof Theory
Published in Cambridge University Press eBooks • Jul 27, 2000
Authors:,
A. S. Troelstra
H. Schwichtenberg
Abstract
This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as c...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!