scientific article; zbMATH DE number 1342205
From MaRDI portal
Publication:4263789
zbMath0943.03021MaRDI QIDQ4263789
Publication date: 27 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? ⋮ Trakhtenbrot theorem and first-order axiomatic extensions of MTL