Bases for first-order theories and subtheories

DOI10.2307/2964208zbMath0108.00304OpenAlexW2102073166MaRDI QIDQ3843604

No author found.

Publication date: 1960

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items (3)

Elimination problems in logic: a brief history ⋮ The road to two theorems of logic ⋮ Inductive systematization: Definition and a critical survey

Cites Work

• Zum Eliminationsproblem der mathematischen Logik
• Properties preserved under algebraic constructions
• Unnamed Item

This page was built for publication: Bases for first-order theories and subtheories