scientific article; zbMATH DE number 2068677

zbMath1053.03007MaRDI QIDQ4465170

Lech Dubikajtis

Publication date: 27 May 2004

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

zbMATH Keywords

validityempty domain

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items

Wspomnienie o Lechu Dubikajtisie (1927-2014)