Logic for computer scientists

Author(s)

• Schöning, Uwe

Bibliographic Information

Logic for computer scientists

Uwe Schöning

（Modern Birkhäuser classics）

Birkhäuser, c2008

Other Title

Logik für Informatiker

Note

"Reprint of the 1989 edition"

"English hardcover edition originally published as volume 8 in the series Progress in computer science and appplied logic"

Bibliography: p. 155-159

Includes index

• NCID: BB06829603
• ISBN:
  • 9780817647629
• LCCN: 89017864
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Original Language Code: ger
• Place of Publication: Boston
• Pages/Volumes: 166 p.
• Size: 24 cm
• Classification:
  • LCC : QA9
  • DC20 : 511.3
  • NDLC : M159
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Logic programming
• Parent Bibliography ID:
  • BA80210813