Peter Schroeder-Heister on Proof-Theoretic Semantics (Unknown)
Free access
- New search for: Piecha, Thomas
- New search for: Wehmeier, Kai F.
2024
-
ISBN:
- Book / Electronic Resource
-
Title:Peter Schroeder-Heister on Proof-Theoretic Semantics
-
Contributors:Piecha, Thomas ( editor ) / Wehmeier, Kai F. ( editor )
-
Published in:
-
Publisher:
- New search for: Springer Nature
-
Place of publication:Cham
-
Publication date:2024
-
Size:1 Online-Ressource (463 p.)
-
ISBN:
-
Type of media:Book
-
Type of material:Electronic Resource
-
Language:Unknown
-
Keywords:Constructive Logic , Peter Schroeder-Heister , Gerhard Gentzen , thema EDItEUR::Q Philosophy and Religion::QD Philosophy , thema EDItEUR::C Language and Linguistics::CF Linguistics::CFA Philosophy of language , Gottlob Frege , thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations , Logical Constants , Proof-theoretic Semantics , thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic , Intuitionistic Logic , Mathematical Logic , thema EDItEUR::P Mathematics and Science::PB Mathematics::PBB Philosophy of mathematics , Proof Theory , thema EDItEUR::C Language and Linguistics::CB Language: reference and general::CBX Language: history and general works , Deductive Logic
-
Licence:
-
Source: