dblp.uni-trier.dewww.uni-trier.de

James S. Johnson

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1973
2 James S. Johnson: Axiom Systems for First Order Logic with Finitely Many Variables. J. Symb. Log. 38(4): 576-578 (1973)
1969
1 James S. Johnson: Nonfinitizability of Classes of Representable Polyadic Algebras. J. Symb. Log. 34(3): 344-352 (1969)

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)