Computational logic and set theory applying formalized logic to analysis - Schwartz, Jacob T., 1930-2009 (Springer, 2011)
Název z titulní obrazovky