Goal-Directed Proof Theory (Applied Logic Series Volume 21)
Edition: 1 edition
Publisher: Springer
Published: August 31, 2000
Language: eng
Format: Hardcover
Number of pages: 276
ISBN-13: 9780792364733
Subjects: Mathematical logic; Mathematics; Foundations Of Mathematics; Mathematical And Symbolic Logic; Science/Mathematics; Programming - General; Applied; Logic; Computers-Programming - General; Mathematics / Logic; Mathematics-Applied; Philosophy / Logic; General; Proof theory
First sentence: This book is about goal-directed proof-theoretical formulations of non-classical logics.