Logic and automata [electronic resource] : history and perspectives / edited by Jörg Flum, Erich Grädel, and Thomas Wilke.

Contributor(s): Material type: TextTextSeries: Texts in logic and games ; v. 2.Publication details: Amsterdam : Amsterdam University Press, c2008.Description: 736 p. : illSubject(s): Genre/Form: LOC classification:
  • QA267 .L64 2008eb
Online resources:
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Includes bibliographical references.

Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.

There are no comments on this title.

to post a comment.