Language Theory of Automath
by Van Daalen, Diederik ton
- Used
- Paperback
- Condition
- See description
- Seller
-
Ithaca, New York, United States
Payment Methods Accepted
About This Item
Good condition. Minor pencil notes on title page. "Stellingen" included as insert.
Reviews
(Log in or Create an Account first!)
Details
- Bookseller
- Rachel Maines Inc. (US)
- Bookseller's Inventory #
- OCLC1359155029
- Title
- Language Theory of Automath
- Author
- Van Daalen, Diederik ton
- Book Condition
- Used
- Quantity Available
- 1
- Binding
- Paperback
- Publisher
- Druk Wibro Helmond
- Place of Publication
- Eindhoven
- Date Published
- 1980
- Pages
- 309
- Weight
- 0.00 lbs
- Keywords
- AUTOMATH (Formal language)
Terms of Sale
Rachel Maines Inc.
30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.
About the Seller
Rachel Maines Inc.
Biblio member since 2023
Ithaca, New York
About Rachel Maines Inc.
Individual scholar with large book collection
Glossary
Some terminology that may be used in this description includes:
- Title Page
- A page at the front of a book which may contain the title of the book, any subtitles, the authors, contributors, editors, the...