scientific article; zbMATH DE number 1357427

MaRDI QIDQ4700634zbMATH OpenFDO

Authors Andrei Voronkov

Publication date 4 November 1999

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of numerations, effectively presented structures (03D45) Proof theory and constructive mathematics (03F99)

Review text

See the review in Zbl 0668.03029. For the entire collection see [Zbl 0924.00004].

Cited in

(2)

• A case for satisfaction classes: model theoretic vs axiomatic approaches to the notion of truth
• Truth definitions in finite models

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4700634)