Logic and automata [electronic resource] : history and perspectives / edited by Jörg Flum, Erich Grädel, and Thomas Wilke.
2008
QA267 .L64 2008eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Logic and automata [electronic resource] : history and perspectives / edited by Jörg Flum, Erich Grädel, and Thomas Wilke.
ISBN
9789053565766
9789048501281
9789048501281
Publication Details
Amsterdam : Amsterdam University Press, c2008.
Language
English
Description
736 p. : ill. ; 24 cm.
Call Number
QA267 .L64 2008eb
Bibliography, etc. Note
Includes bibliographical references.
Access Note
Access limited to authorized users.
Added Author
Series
Texts in logic and games ; v. 2.
Linked Resources
Record Appears in