Extensions of first order logic /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge :
University Press,
1996
|
| Series: | Cambridge Tracts in Theoretical Computer Science ;
19 |
| Subjects: |
| Item Description: | Bibliography: p.352-363. Includes index |
|---|---|
| Physical Description: | xxii, 388 p. ; 25 cm. |
| Bibliography: | Includes bibliography (p. [352]-363) and index Includes bibliography (p.352-363), list of notation and index (p.369-388) |
| ISBN: | 0521354358 |