Pogorzelski, W. A.; Prucnal, T. Structural completeness of the first-order predicate calculus. (English) Zbl 0286.02018 Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 22, 215-217 (1974). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 1 Document MSC: 03B10 Classical first-order logic 03C35 Categoricity and completeness of theories PDFBibTeX XMLCite \textit{W. A. Pogorzelski} and \textit{T. Prucnal}, Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 22, 215--217 (1974; Zbl 0286.02018)