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 2 November 2000
Used - Hardcover
Quantity: 1 available
Add to basket