scientific article; zbMATH DE number 1357427

zbMATH Open0924.03111MaRDI QIDQ4700634FDOQ4700634

Authors: A. A. Voronkov 

Publication date: 4 November 1999

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cited In (2)

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

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)