by HeinrichWansing (Editor)
Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics.
Format: Paperback
Pages: 472
Edition: Softcover reprint of the original 1st ed. 2015
Publisher: Springer
Published: 22 Sep 2016
ISBN 10: 3319360310
ISBN 13: 9783319360317