![]() | ![]() |
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) |