scientific article; zbMATH DE number 4118367

zbMath0683.03038MaRDI QIDQ4732469

A. A. Voronkov

Publication date: 1988

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

zbMATH Keywords

constructive truthconstructive calculi

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

This page was built for publication: