[FOM] FIRST-ORDER LOGIC WITH IDENTITY, INDIVIDUAL CONSTANTS AND FUNCTION CONSTANTS.
corcoran at buffalo.edu
Wed Dec 1 18:30:03 EST 2004
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?
More information about the FOM