Extensions of first order logic

Author(s)

• Manzano, María

Bibliographic Information

Extensions of first order logic

Maria Manzano

（Cambridge tracts in theoretical computer science, 19）

Cambridge University Press, 2005, c1996

• : pbk

Note

"First published 1996, This digitally printed first paperback version 2005"--T.p. verso

Includes bibliographical references and index

Details

• NCID: BB08428760
• ISBN:
  • 9780521019026
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge
• Pages/Volumes: xxii, 388 p.
• Size: 25 cm
• Classification:
  • DC22 : 511.3
• Subject Headings:
  • LCSH : First -- order logic
• Parent Bibliography ID:
  • BA01121831