Tables ,
References
Chapters in Research Monographs
Mathematical Logic
-
J.A.Makowsky,
Compactness, Embeddings and Definability,
Chapter 18 in "Model Theoretic Logics",
J.Barwise and S.Feferman ed., Springer 1985, pp.645-716.
ps-files generated from old troff source:
-
J.A.Makowsky and D. Mundici,
Abstract Equivalence Relations,
Chapter 19 in "Model Theoretic Logics",
J.Barwise and S.Feferman ed., Springer 1985, pp.717-746.
-
J.A.Makowsky,
Abstract Embedding Relations,
Chapter 20 in "Model Theoretic Logics",
J.Barwise and S.Feferman ed., Springer 1985, pp.747-791.
ps-files generated from old troff source:
Computer Science
-
J.A.Makowsky,
Model Theory and Computer Science: An Appetizer,
Chapter I.6 in the "Handbook of Logic in Computer Science, vol. 1
(Background: Mathematical structures)",
S. Abramsky, D.M. Gabbay, T.S.E. Maibaum eds., Oxford University
Press, 1992, pp. 763-814.
-
J.A. Makowsky and Y.B. Pnueli,
Computable Quantifiers and Logics over Finite Structures,
in
"Quantifiers: Generalizations, extensions and variants of
elementary logic", M. Krynicki, M. Mostowski and L.W. Szczerba
eds., Kluwer Academic Publishers, to appear (40 pages).