scientific article; zbMATH DE number 1159721
From MaRDI portal
Publication:4392088
zbMath0905.03031MaRDI QIDQ4392088
Publication date: 2 February 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Interpolation, preservation, definability (03C40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Other infinitary logic (03C75)
This page was built for publication: