Formal methods. An introduction to symbolic logic an to the stdy of eefective operations in arithmetic and logic. (Synthese Library)
Beth, Evert W.:
Sold by Nicoline Thieme, Leipzig, Germany
Association Member:
AbeBooks Seller since 14 October 2002
Used - Hardcover
Condition: - keine Angabe -
Quantity: 1 available
Add to basket