1
by Pudlák, Pavel
Published 2013
Springer International Publishing

2
by Hájek, Petr, Pudlák, Pavel
Published 2016
Cambridge University Press