Logic, Algebra, and Computation
Logic, Algebra, and Computation
G. Huet
,
F. L. Bauer
,
W. Brauer
Details
OL Work ID
OL37602111W
Find this book
Open Library