Take a photo of a barcode or cover
458 pages • missing pub info (view editions)
ISBN/UID: 9783319110400
Format: Hardcover
Language: English
Publisher: Springer
Edition Pub 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 (view editions)
ISBN/UID: 9783319110400
Format: Hardcover
Language: English
Publisher: Springer
Edition Pub 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