Bounded variable logics and counting a study in finite models
Material type:
TextLanguage: English Series: Lecture notes in logic; 9Publication details: Berlin Springer-Verlag 1997Description: ix,183pISBN: - 3-540-62037-0
- 515.62 Ot911
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata NBHM Collection | 515.62 Ot911 (Browse shelf(Opens below)) | Available | 117464 |
Total holds: 0
Browsing ISI Library, Kolkata shelves, Shelving location: NBHM Collection Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | ||||||
| 515.56 J93 Cohomological theory of dynamical Zeta functions | 515.56 P318 Introduction to the theory of the Riemann zeta function | 515.6 Ab247 Precise numerical methods using C++ | 515.62 Ot911 Bounded variable logics and counting | 515.62 Sch411 Finite elements methods | 515.62 Sz996 Interpolation of functions | 515.625 Ag261 Difference equations and inequalities |
There are no comments on this title.
Log in to your account to post a comment.
