Logic and algorithmic
Logic and algorithmic
Ernst Specker
Details
OL Work ID
OL22710390W
Subjects
Symbolic and mathematical Logic
Algorithms
Algebraic logic
Congresses
Find this book
Open Library