Shoenfield, J. R. The form of the negation of a predicate. (English) Zbl 0143.01301 Proc. Sympos. Pure Math. 5, 131-134 (1962). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 Documents Keywords:mathematical logic PDF BibTeX XML