Computability theory, semantics, and logic programming

• Authors:

• Melvin Fitting

• Affiliations:

• Lehman College, City Univ. of New York, New York, NY

• Venue:
• Computability theory, semantics, and logic programming
• Year:
• 1987