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 October 14, 2002
Used - Hardcover
Condition: - keine Angabe -
Quantity: 1 available
Add to basket