Télécharger le livre :  Harmony and Paradox
Ajouter à ma liste d'envies
This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and...

Editeur : Springer
Parution : 2024-04-18

PDF, ePub

Gratuit