Topology via logic
Material type: TextSeries: Cambridge tracts in theoretical computer science ; 5Publication details: New York ; Cambridge University Press ; 1989Description: 200ISBN: 9780521360623Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 VIC (Browse shelf (Opens below)) | Available | 25967 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
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 | 510.6 WAN Displaying Modal Logic | 510.6 WEBB Mechanism, mentalism, and metamathematics: essay of finitism |
D6,8(B) M92
There are no comments on this title.