Logic Colloquium 2000
Logic Colloquium 2000
Carol Wood
,
René Cori
,
Stevo Todorčević
,
Alexander Razborov
Details
OL Work ID
OL25778271W
Subjects
Logic, symbolic and mathematical
Find this book
Goodreads
Open Library