Peter Schroeder-Heister on Proof-Theoretic Semantics

This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter Schro...

Full description

Bibliographic Details

Format:	Online
Language:	English
Published:	Springer Nature 2024
Subjects:	Proof-theoretic Semantics Logical Constants Proof Theory Deductive Logic Constructive Logic Intuitionistic Logic Mathematical Logic Peter Schroeder-Heister Gerhard Gentzen Gottlob Frege thema EDItEUR::Q Philosophy and Religion::QD Philosophy thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic thema EDItEUR::C Language and Linguistics::CF Linguistics::CFA Philosophy of language thema EDItEUR::P Mathematics and Science::PB Mathematics::PBB Philosophy of mathematics thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations thema EDItEUR::C Language and Linguistics::CB Language: reference and general::CBX Language: history and general works
Online Access:	ONIX_20240313_9783031509810_46
Tags:	Add Tag No Tags, Be the first to tag this record!