[FOM] FIRST-ORDER LOGIC WITH IDENTITY, INDIVIDUAL CONSTANTS AND FUNCTION CONSTANTS.

[John Corcoran]

1 Who discusses the history of this logic?
2 Who were the early logicians to specifically mention this logic as an
extension of Gödel 1930 logic?
3 Who were the early logicians to notice that the Gödel 1930
completeness results extend to this logic?
43 Who were the early logicians to formulate the semantics and actually
carry out a completeness proof? 
-