James R. Geiser

1977
3		Jeanne Ferrante, James R. Geiser: An Efficient Decision Procedure for the Theory of Rational Order. Theor. Comput. Sci. 4(2): 227-233 (1977)
1974
2		James R. Geiser: A Formalization of Essenin-Volpin's Proof Theoretical Studies by Means of Nonstandard Analysis. J. Symb. Log. 39(1): 81-87 (1974)
1968
1		James R. Geiser: Nonstandard Logic. J. Symb. Log. 33(2): 236-250 (1968)

Coauthor Index

1

Jeanne Ferrante

[3]