Computer Science Logic
Computer Science Logic
Jörg Flum
Details
OL Work ID
OL16935422W
Subjects
Logic, symbolic and mathematical
Computer logic
Congresses
Find this book
Open Library