Purdy, William C., 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