Computer Science Logic
Computer Science Logic
Reinhard Kahle
,
Erich Grädel
Details
OL Work ID
OL27343478W
Find this book
Goodreads
Open Library