Structural Proof Theory
Publisher: Cambridge University Press
Published: June 18, 2001
Language: eng
Format: Hardcover
Number of pages: 276
ISBN-13: 9780521793070
Subjects: Logic; Mathematical logic; Philosophy of science; Philosophy Of Mathematics; Mathematical And Symbolic Logic; Mathematics; Philosophy; Science/Mathematics; Probability & Statistics - General; Philosophy / General; Proof theory
First sentence: We first discuss logical languages and rules of inference in general.