Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
Modal logic: an introduction/ Brian F. Chellas.
Publication details: Cambridge, UK: New York: Cambridge University Press, [1980].Description: xii, 295 p.: ill.; 24 cmISBN:- 0521224764
- 0521295157 (pbk.)
- 511.3 C516m
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 C516m 1980 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000097033 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
| No cover image available No cover image available |
|
No cover image available No cover image available |
|
|
|
|
||
| 511.3 C456c 1966 IMPA Continuous model theory/ | 511.3 C456m 1990 IMPA Model theory/ | 511.3 C456s 1973 IMPA Symbolic logic and mechanical theorem proving/ | 511.3 C516m 1980 IMPA Modal logic: an introduction/ | 511.3 C521f 2003 IMPA Finite structures with few types/ | 511.3 C534c 1990 IMPA Constructibility and mathematical existence/ | 511.3 C542c 2009 IMPA A course in formal languages, automata and groups/ |
Includes indexes.
Bibliography: p. [278]-279.
There are no comments on this title.