scientific article; zbMATH DE number 1534574

zbMath0952.03028MaRDI QIDQ4517360

Yurij Dmitrievich Korol'kov

Publication date: 21 November 2000

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

zbMATH Keywords

first-order theoryback-and-forth methodformula tree

Mathematics Subject Classification ID

Geological problems (86A60) Basic properties of first-order languages and structures (03C07)

This page was built for publication: