×

Structural completeness of the first-order predicate calculus. (English) Zbl 0286.02018


MSC:

03B10 Classical first-order logic
03C35 Categoricity and completeness of theories
PDFBibTeX XMLCite