Dependence logic : theory and applications

Author(s)

• Abramsky, Samson
• Kontinen, Juha
• Väänänen, J. (Jouko)
• Vollmer, Heribert

Bibliographic Information

Dependence logic : theory and applications

Samson Abramsky ... [et al.], editors

Birkhäuser , Springer, c2016

Note

Other editors: Juha Kontinen, Jouko Väänänen‎‎, Heribert Vollmer

Includes bibliographical references

Details

• NCID: BB21640282
• ISBN:
  • 9783319318011
• LCCN: 2016941197
• Country Code: xx
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: [S.l.],[Cham]
• Pages/Volumes: xiv, 276 p.
• Size: 25 cm
• Classification:
  • DC23 : 511.3
• Subject Headings:
  • LCSH : First-order logic