Labelled Deductive Systems, Vol.1
Material type: TextSeries: Oxford Logic Guides, 33Publication details: USA ; OUP ; 1996Description: 497ISBN: 0198538332Subject(s): Labelled Deductive SystemsCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 GAB (Browse shelf (Opens below)) | Available | 42560 |
There are no comments on this title.