scientific article; zbMATH DE number 3037213

MaRDI QIDQ5776902zbMATH OpenFDO

Authors D. A. Bochvar

Publication date 1940

zbMATH Keywords

Foundations, philosophy, logic

Cited in

(1)

• The role of the Omitting Types Theorem in infinitary logic

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