Dependence logic : a new approach to independence friendly logic

Author(s)

• Väänänen, J. (Jouko)

Bibliographic Information

Dependence logic : a new approach to independence friendly logic

Jouko Väänänen

（London Mathematical Society student texts, 70）

Cambridge University Press, 2007

• : hardback
• : pbk

Note

Includes bibliographical references (p. 220-222) and index

Details

• NCID: BA8169751X
• ISBN:
  • 9780521876599
  • 9780521700153
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge
• Pages/Volumes: ix, 225 p.
• Size: 24 cm
• Classification:
  • LCC : BC128
  • DC22 : 511.3
• Subject Headings:
  • LCSH : First-order logic
• Parent Bibliography ID:
  • BA00194352