Scan barcode
458 pages • missing pub info (editions)
ISBN/UID: 9783319360317
Format: Paperback
Language: English
Publisher: Springer
Publication date: 22 September 2016
Description
This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meani...
Community Reviews
Content Warnings
458 pages • missing pub info (editions)
ISBN/UID: 9783319360317
Format: Paperback
Language: English
Publisher: Springer
Publication date: 22 September 2016
Description
This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meani...
Community Reviews
Content Warnings