The clausal theory of types

Author(s)

• Wolfram, D. A

Bibliographic Information

The clausal theory of types

D.A. Wolfram

（Cambridge tracts in theoretical computer science, 21）

Cambridge University Press, 1993

• : hardback
• : pbk

Note

Includes bibliographical references (p. 107-120) and index

Details

• NCID: BA19744459
• ISBN:
  • 0521395380
  • 9780521117906
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge
• Pages/Volumes: viii, 124 p.
• Size: 26 cm
• Classification:
  • DC20 : 005.131
• Subject Headings:
  • LCSH : Logic programming
• Parent Bibliography ID:
  • BA01121831