Dependence Logic : a new approach to independence friendly logic by Väänänen, Jouko
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Third floor, call number 511.3 VAA.
Book details
- Author
- Väänänen, Jouko
- Publisher
- Cambridge
- Year
- 2007
- Pages
- 225
- ISBN
- 9780521700153
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Third floor | 511.3 VAA | 338588 | Reference only (read in the library) |
Next to this on the shelf
- Complexity, Logic, And Recursion Theory 511.3 SOR
- Category Theory For Sciences 511.3 SPI
- A Course on Mathematical Logic 511.3 SRV
- Reverse Mathematics: Proofs From The Inside Out 511.3 STI
- Dependence Logic : a new approach to independence friendly logic (this book)
- Discrete Mathematical Structures 511.3 VAI
- Discrete Mathematics With Graph Theory And Combinatorics 511.3 VEE
- How To Prove It: A Structured Approach 511.3 VEL
- Introduction to Mathematical Logic 511.3 WAL