Functional interpretation of logical deduction
Material type: TextSeries: Advances in logic ; 00005Publication details: Singapore ; World scientific ; 2012Description: 266ISBN: 9789814360951Subject(s): Logic and computation Oliveira, Anjolina, G De Gabbay, Dov MCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 QUE (Browse shelf (Opens below)) | Available | 69743 |
There are no comments on this title.