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.
 ViewsCoverAuthorTitlePublishedFormatUpdatedThank_to
210961691Thomas PiechaPeter Schroeder-Heister on Proof-Theoretic Semantics (Outstanding Contributions to Logic, 29)2024pdf3/17/2024 12:16:51 PMrisotor
177218591Nissim FrancezProof-theoretic Semantics2015PDF6/18/2020 9:18:45 AMalex21s
169950088gebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on tAlgebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th b2007PDF2/22/2020 9:21:05 AMtopron
1671988143Dag PrawitzNatural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)2020PDF1/8/2020 10:32:13 PMstirkout

(C) FreeBookSpot 2007 - 2024