Finite model theory and its applications
By: Gradel, Erich.
Material type:
BookSeries: Texts in theoretical computer science.Publisher: Berlin: Springer, 2007Description: xi, 437 p.; ill.: 24 cm.ISBN: 9783540004288 .Subject(s): Mathematical models | Model theoryDDC classification: 511.34
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.34 GRA (Browse shelf) | Available | 016891 |
Browsing DAIICT Shelves Close shelf browser
| 511.33 PAD Axioms for lattices and boolean algebras | 511.33 POL Ordinary Differential Equations | 511.33 TIT Theory of functions | 511.34 GRA Finite model theory and its applications | 511.35 BAR Lambda calculus with types | 511.35 BOL Formal models of communicating systems : languages, automata and monadic second-order logic | 511.35 CAV Sequential logic : analysis and synthesis |
There are no comments for this item.