Elements of finite model theory
Series: Texts in Theoretical Computer SciencePublication details: Springer-Verlag, 2004. Berlin :Description: xiv, 315p. : ill. ; 24 cmISBN:- 9783642059483
- 511.34 LEO
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
IIT Gandhinagar General Stacks | 511.34 LEO (Browse shelf(Opens below)) | Available | 027742 |
Browsing IIT Gandhinagar shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
511.32 BEL Toposes and local set theories: an introduction | 511.32 PLO Hausdorff on ordered sets | 511.322 BAB Write your own proofs: in set theory and discrete mathematics | 511.34 LEO Elements of finite model theory | 511.34 VAA Models and games | 511.36 WOH Introduction to proof in abstract mathematics | 511.4 EVG Asymptotic estimates and entire functions |
Includes bibliographical references and index.
There are no comments on this title.