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