1. Giovanni Sambin, Jan M. Smith (eds.): Twenty-five years of constructive type theory: Proceedings of a Congress Held in Venice, October 1995 Creator: Pudlák, Pavel Format: bez média and svazek Type: model:article and TEXT Language: English Description: Autor recenze: Pavel Pudlák Rights: http://creativecommons.org/publicdomain/mark/1.0/ and policy:public
2. L. A. Sakhnovich: Spectral theory of canonical differential systems method of operator identities Creator: Engliš, Miroslav Format: bez média and svazek Type: model:article and TEXT Language: English Description: Autor recenze: Miroslav Engliš Rights: http://creativecommons.org/publicdomain/mark/1.0/ and policy:public