Loading edition detail...
Preparing this view.
G. Kreisel, J. L. Krivine, A. Heyting, A. Robinson, P. Suppes
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 | Elsevier Science & Technology Books |
|---|---|
| Search language | english |
| ISBN_13 | 978-1-483-27523-9 primary |
Publication-specific alternatives linked to the same work.