Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: subject="Computer programming ...
cover
Dag Prawitz on Proofs and Meaning
Comment Share
H. Wansing

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 meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main…

Edition
-
ISBN/ISSN
9783319110417
Collation
-
Series Title
-
Call Number
005.1