Peter Schroeder-Heister on Proof-Theoretic Semantics (Unbekannt)
Freier Zugriff
- Neue Suche nach: Piecha, Thomas
- Neue Suche nach: Wehmeier, Kai F.
2024
-
ISBN:
- Buch / Elektronische Ressource
-
Titel:Peter Schroeder-Heister on Proof-Theoretic Semantics
-
Beteiligte:Piecha, Thomas ( Herausgeber:in ) / Wehmeier, Kai F. ( Herausgeber:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer Nature
-
Erscheinungsort:Cham
-
Erscheinungsdatum:2024
-
Format / Umfang:1 Online-Ressource (463 p.)
-
ISBN:
-
Medientyp:Buch
-
Format:Elektronische Ressource
-
Sprache:Unbekannt
-
Schlagwörter: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
-
Lizenzbestimmungen:
-
Datenquelle: