Formal Methods. An Introduction to Symbolic Logic and to the Study of effective Operations in Arithmetic and Logic.
BETH, EVERT W.
Sold by Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, Denmark
Association Member:
AbeBooks Seller since November 2, 2000
Used - Hardcover
Quantity: 1 available
Add to basket