see at logic - Mathematical logic.
David Hilbert, Wilhelm Ackermann, Grundzüge der Theoretischen Logik , 4th ed. Springer Heidelberg 1959 [1928]
John Lane Bell, M. Machover, A Course in Mathematical Logic, North-Holland Amsterdam 1977. (ch. 10,§5) (ISBN:9780720428445)
Last revised on July 23, 2021 at 15:15:03. See the history of this page for a list of all contributions to it.