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