Computer Science Logic
Computer Science Logic
Katrin Seyr
,
Etienne Grandjean
,
Georg Gottlob
Details
OL Work ID
OL27347025W
Find this book
Open Library