TY  - BOOK
AU  - Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka
TI  - Advances in Mathematical Logic
SN  - 9789811641732
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-981-16-4173-2
ER  -