Scan barcode
458 pages • missing pub info (editions)
ISBN/UID: 9783319110400
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 01 February 2015
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: 9783319110400
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 01 February 2015
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