Research Catalog
Extensions of first order logic /
- Title
- Extensions of first order logic / María Manzano.
- Author
- Manzano, María.
- Publication
- Cambridge, [England] ; New York, NY : Cambridge University Press, 1996.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Use in library | QA9 .M315 1996 | Off-site |
Details
- Description
- xxii, 388 p. : ill.; 26 cm.
- Series Statement
- Cambridge tracts in theoretical computer science ; 19
- Alternative Title
- Extensions of 1st order logic
- Subject
- First-order logic
- Bibliography (note)
- Includes bibliographical references (p. [352]-363) and indexes.
- ISBN
- 0521354358 (hardback)
- LCCN
- 94043735
- Owning Institutions
- Princeton University Library