Smiley, T. J.

Logic Colloquium '80 = papers intended for the European summer meeting of the Association for Symbolic Logic / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Association for Symbolic Logic.; Lascar, D. (1942-); Smiley, T. J.; Dalen, D. van (1932-) (Language materials, printed)

Multiple-conclusion logic / by: Shoesmith, D. J.; Smiley, T. J. (Language materials, printed)

Plural Logic by: Oliver, Alex.; Smiley, T. J. (Language materials, printed)