, Department of Electrical Engineering and Computer Science, Syracuse University, Syracuse, NY, USA

• The Australasian Journal of Logic Vol. 4 (2006): Australasian Journal of Logic - Articles
  Inexpressiveness of First-Order Fragments
  Abstract  PDF