Daniel Gogol

On the Switches Paradox

Daniel Gogol, 1972 .

Formulas with two generalized quantifiers

Daniel Gogol, 1975, Notre Dame J. Formal Log..

The ∀n∃-Completeness of Zermelo-Fraenkel Set Theory

Daniel Gogol, 1978, Math. Log. Q..

Determinism and the Predicting Machine

Daniel Gogol, 1970 .