G. C. Nelson

	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)

Coauthor Index

1

J. Mead

[1]