Dependence logic:A new approach to independence friendly logic
By: Vaananen, J.
Material type: BookSeries: London mathematical society student texts. 70.Publisher: Cambridge Cambridge University Press 2007Description: ix, 225p.ISBN: 978-0-521-87659-9.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
511.3 VAA (Browse shelf) | Available | 510005 |
Browsing International Institute of Information Technology Bangalore Shelves Close shelf browser
511.3 SMU Logical labyrinths | 511.3 SUN Formal languages and automata theory | 511.3 TRO (Ref.) Constructivism in Mathematics: An introduction-V-1 | 511.3 VAA Dependence logic:A new approach to independence friendly logic | 511.3 VEL How to prove it: A structured approach. 2nd. Edition. | 511.3 WHI (Ref.) Principia mathematica v - 1 | 511.3 WHI (Ref.) Principia mathematica v - 2 |
There are no comments for this item.