Syntactical Transforms

DOI10.2307/1992872MaRDI QIDQ5608743zbMATH OpenOpenAlexFDO

Authors A. H. Lightstone, Abraham Robinson

Publication date 1957

Full work available at URL https://doi.org/10.2307/1992872

Mathematics Subject Classification ID

Classical first-order logic (03B10) Other applications of logic (03B80)

Cites work

• scientific article; zbMATH DE number 3060222 (Why is no real title available?)
• scientific article; zbMATH DE number 3109417 (Why is no real title available?)
• Complete theories
• Note on An Embedding Theorem for Algebraic Systems
• Über deduktive Theorien mit mehreren Sorten von Grunddingen

Cited in

(1)

• Abraham Robinson, 1918-1974

This page was built for publication: Syntactical Transforms

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