Books with tag Proof-Theoretic
Catalogue
You can sort by any column. Just click on column's title. To sort in descending order - click once more.
Views
Cover
Author
Title
Published
Format
Updated
Thank_to
2109616
91
Thomas Piecha
Peter Schroeder-Heister on Proof-Theoretic Semantics (Outstanding Contributions to Logic, 29)
2024
pdf
3/17/2024 12:16:51 PM
risotor
1772185
91
Nissim Francez
Proof-theoretic Semantics
2015
PDF
6/18/2020 9:18:45 AM
alex21s
1699500
88
gebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on t
Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th b
2007
PDF
2/22/2020 9:21:05 AM
topron
1671988
143
Dag Prawitz
Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)
2020
PDF
1/8/2020 10:32:13 PM
stirkout
(C) FreeBookSpot 2007 - 2024