Author: Čuda, Karel

Čuda, Karel; Kussová, Blanka: Basic equivalences in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 4, pp. 629-644
Čuda, Karel: An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 4, pp. 785-803

Partner of