Larisa Maksimova on implication, interpolation, and definability

DOI10.1007/978-3-319-69917-2zbMath1403.03008OpenAlexW3165035386MaRDI QIDQ1674252

No author found.

Publication date: 1 November 2017

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-69917-2

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Collections of articles of miscellaneous specific interest (00B15) History of mathematical logic and foundations (03-03) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (1)

Semiproducts, products, and modal predicate logics: some examples

This page was built for publication: Larisa Maksimova on implication, interpolation, and definability