1. Y. Nievergelt: Foundations of logic and mathematics 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