Відмінності між версіями «Теоретико-доказова семантика»

Виправлено джерел: 1; позначено як недійсні: 0. #IABot (v2.0beta14)
(вікіфікація)
(Виправлено джерел: 1; позначено як недійсні: 0. #IABot (v2.0beta14))
 
* Nissim Francez, «On a Distinction of Two Facets of Meaning and its Role in Proof-theoretic Semantics», ''[[Logica Universalis]]'' 9, 2015. {{doi|10.1007/s11787-015-0118-8}}
* Thomas Piecha, Peter Schroeder-Heister (eds), [http://link.springer.com/book/10.1007%2F978-3-319-22686-6 «Advances in Proof-Theoretic Semantics»], Trends in Logic 43, Springer, 2016.
* [https://web.archive.org/web/20090415110223/http://arche-wiki.st-and.ac.uk/~ahwiki/bin/view/Arche/ProofTheoreticSemantics Arché Bibliography on Proof-Theoretic Semantics.]
 
{{Logic-stub}}
365 672

редагування