Syntactical Transforms

DOI10.2307/1992872zbMath0208.01001OpenAlexW4232438635MaRDI QIDQ5608743

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)

Related Items (1)

Abraham Robinson, 1918-1974

Cites Work

• Complete theories
• Über deduktive Theorien mit mehreren Sorten von Grunddingen
• Note on An Embedding Theorem for Algebraic Systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Syntactical Transforms