Semantics, Logics, and Calculi
Semantics, Logics, and Calculi
Chris Hankin
,
René Rydhof Hansen
,
Christian W. Probst
Details
OL Work ID
OL20690611W
Subjects
Computer programming
Logic, symbolic and mathematical
Calculus
Find this book
Open Library