Natural Deduction: A Proof-Theoretical Study
Prawitz D.
This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form - a concept with significant implications to proof-theoretic semantics.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.