Proceedings of the 13th Asian Logic Conference
Proceedings of the 13th Asian Logic Conference
Liang Yu
,
Xishun Zhao
,
Byunghan Kim
,
Qi Feng
Details
OL Work ID
OL21107896W
Subjects
Logic, symbolic and mathematical
Symbolic and mathematical Logic
Congresses
Find this book
Goodreads
Open Library