scientific article; zbMATH DE number 3979039

zbMATH Open0606.03001MaRDI QIDQ3744147FDOQ3744147

Authors:

Publication date: 1981

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

Recommendations

• scientific article; zbMATH DE number 1081433
• Automatic models of first order theories
• Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs
• Classification Theory and Stationary Logic
• Stability and General Logics

zbMATH Keywords

Alma-AtaTheoretical programming

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Conference proceedings and collections of articles (00Bxx)

Cited In (1)

• Pseudofinite formulae

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 Q3744147)