Research Catalog
Extensions of first order logic
- Title
- Extensions of first order logic / María Manzano.
- Author
- Manzano, María.
- Publication
- Cambridge ; New York : 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 | Request in advance | JSF 99-522 | Offsite |
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
- Bibliography (note)
- Includes bibliographical references (p. [352]-363) and indexes.
- Call Number
- JSF 99-522
- ISBN
- 0521354358 (hardback)
- LCCN
- 94043735
- OCLC
- 31708354
- Author
- Manzano, María.
- Title
- Extensions of first order logic / María Manzano.
- Imprint
- Cambridge ; New York : Cambridge University Press, 1996.
- Series
- Cambridge tracts in theoretical computer science ; 19
- Bibliography
- Includes bibliographical references (p. [352]-363) and indexes.
- Indexed Term
- Mathematical logic
- Research Call Number
- JSF 99-522