A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| Dwinger, PH., A Note on the Normal $ß$-Completion of a Boolean Algebra (1960) |
| Dyck, Stephen, Some Notes on the Omitting Types Theorem |
| Dyson, Verena H., A Decidable Theory for which the Theory of Infinite Models is Undecidable (1963) |
| Dyson, Verena H., Some Remarks on Recursive Extensions of Decidable Theories (1963) |
| Dyson, Verena Huber, A Reduction of the Open Sentence Problem for Finite Groups |
| Dyson, Verena Huber, A Decidable Theory for which the Theory of Finite Models is Undecidable (1963) |
| Dyson, Verena Huber, On the Decision Problem for Theories of Finite Models (1964) |
| Dyson, Verena Huber, Review of Gödel, Escher, Bach: an Eternal Golden Braid by D. R. Hofstadter (1981) |