Cover of the work “Interpolation and definability in logics of finite domains”. Author: Shrainer, Pavel Aleksandrovich. Degree: Candidate of Sciences. Year: 1998

Interpolation and definability in logics of finite domains

Novosibirsk

89 pp.

Interpolation and definability in logics of finite domains — Shrainer, Pavel Aleksandrovich — 1998 — Russian Dissertation Library