Propositional, first-order, and higher-order logics (Appendix A)

• Authors:

• Stuart C. Shapiro

• Affiliations:

• -

• Venue:
• Natural language processing and knowledge representation
• Year:
• 2000