How to prove it structured approach
Material type:
TextPublication details: Cambridge ; Cambridge University ; 1994Edition: 2Description: ix, 309 pISBN: 0521675995Subject(s): Logic, Symbolic and mathematical. Mathematics
BOOKS
| Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | 510.6 VEL (Browse shelf (Opens below)) | Available | 56746 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
| No cover image available |
|
|
|
No cover image available |
|
|
||
| 510.6 VAN Proper treatment of events | 510.6 VAN Logic of time: model-theoretic investigation into the varieties of temporal ontology and temporal discourse | 510.6 VAZE Online Algorithms | 510.6 VEL How to prove it | 510.6 VEN Logic of chance | 510.6 VIC Topology via logic | 510.6 WAL Introduction to mathematical logic |
There are no comments on this title.