Computer Science Logic
Computer Science Logic
2007
Thomas A. Henzinger
,
Jacques Duparc
Details
First published
2007
OL Work ID
OL27333565W
Subjects
Logic, symbolic and mathematical
Find this book
Goodreads
Open Library