193932

Mathematical problems from applied logic I

Gabbay Dov M.; Goncharov Sergei; Zakharyaschev Michael

2006