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.
- Supplementary Content
- Publisher description
Items in the Library & Off-site
Filter by
2 Items
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA9 .M315 1996 | Off-site | |
Not available - Please for assistance. | Text | Use in library | Off-site |
Holdings
Details
- Description
- xxii, 388 pages : illustrations; 26 cm.
- Series Statement
- Cambridge tracts in theoretical computer science ; 19
- Uniform Title
- 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)
- 0521019028 (paperback)
- LCCN
- 94043735
- OCLC
- 31708354
- ocm31708354
- SCSB-5242973
- Owning Institutions
- Columbia University Libraries