Loading edition detail...
Preparing this view.
Join BookitisSave favorites, build lists, and follow creators.
Preparing this view.
Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.
| Publisher | Springer London, Limited |
|---|---|
| Pages | 640 |
| Search language | english |
| ISBN_13 | 978-3-662-48899-7 primary |
Publication-specific alternatives linked to the same work.