Formal methods. An introduction to symbolic logic an to the stdy of eefective operations in arithmetic and logic. (Synthese Library)
Beth, Evert W.:
From Nicoline Thieme, Leipzig, Germany
Seller rating 4 out of 5 stars
AbeBooks Seller since October 14, 2002
Used - Hardcover
Quantity: 1 available
Add to basket