Keisler, H. J. A complete first-order logic with infinitary predicates. (English) Zbl 0115.00604 Fundam. Math. 52, 177-203 (1963). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 13 Documents Keywords:mathematical logic PDFBibTeX XMLCite \textit{H. J. Keisler}, Fundam. Math. 52, 177--203 (1963; Zbl 0115.00604) Full Text: DOI EuDML