Теоретико-доказова семантика: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Рядок 19:
==Зовнішні посилання==
*[http://arche-wiki.st-and.ac.uk/~ahwiki/bin/view/Arche/ProofTheoreticSemantics Arché Bibliography on Proof-Theoretic Semantics.]
[[Категорія:Незавершені статті з логіки]]
|