Extensions of first order logic

Author(s)

• Manzano, María

Bibliographic Information

Extensions of first order logic

[by] María Manzano

（Cambridge tracts in theoretical computer science, 19）

Cambridge University Press, 1996

• : hardback

Other Title

Extensions of 1st order logic

Note

Includes bibliography (p. [352]-363) and indexes

Details

• NCID: BA27183517
• ISBN:
  • 0521354358
• LCCN: 94043735
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge, England ; New York, NY
• Pages/Volumes: xxii, 388 p.
• Size: 26 cm
• Classification:
  • LCC : QA9
  • DC20 : 511.3
• Subject Headings:
  • LCSH : First-order logic
• Parent Bibliography ID:
  • BA01121831