A possible modal reformulation of comprehension scheme
Jan Krajíček (1983)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Jan Krajíček (1983)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Pavel Pták (1987)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Jan Štěpán (1989)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity: