scientific article; zbMATH DE number 1899816

zbMath1014.03045MaRDI QIDQ4802728

S. I. Mardaev

Publication date: 23 April 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Kripke modelnonstandard logic

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

This page was built for publication: