1 电子书 Dov M Gabbay
Anjolina G De Oliveira & Dov M Gabbay: Functional Interpretation Of Logical Deduction, The
This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an âenrichedâ system of natural deduction, it helps to formulate logical calculi in an …
PDF
英语
DRM
€169.99
