Overview

first-order logic


Show Summary Details

Quick Reference

The study of inference in first-order languages.

Subjects: Philosophy.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.