Catalog

Record Details

Catalog Search



Logic for Computer Scientists [electronic resource] / by Uwe Schöning.

Schöning, Uwe. (author.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9780817647636
  • Physical Description: IX, 168 p. online resource.
  • Publisher: Boston, MA : Birkhäuser Boston, 2008.
Subject: Computer science.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.

Additional Resources