Logic Colloquium '98
Logic Colloquium '98
2017
Samuel R. Buss
,
Petr Hájek
,
Pavel Pudlák
Details
First published
2017
OL Work ID
OL25779323W
Subjects
Logic, symbolic and mathematical
Find this book
Goodreads
Open Library