| |
| 1992 | ||
|---|---|---|
| 5 | G. C. Nelson: Constructive Ultraproducts and Isomorphisms of Recursively Saturated Ultrapowers. Notre Dame Journal of Formal Logic 33(3): 433-441 (1992) | |
| 1988 | ||
| 4 | G. C. Nelson: Other logics for (equational) theories. Algebraic Logic and Universal Algebra in Computer Science 1988: 181-194 | |
| 1983 | ||
| 3 | G. C. Nelson: Logic of Reduced Power Structures. J. Symb. Log. 48(1): 53-59 (1983) | |
| 2 | G. C. Nelson: Addendum to "Logic of Reduced Power Structures". J. Symb. Log. 48(4): 1145 (1983) | |
| 1980 | ||
| 1 | J. Mead, G. C. Nelson: Model Companions and k-Model Completeness for the Complete Theories of Boolean Algebras. J. Symb. Log. 45(1): 47-55 (1980) | |
| 1 | J. Mead | [1] |