|
|
|
|
first order logic
|
(Definition)
|
|
"first order logic" is owned by Henry.
|
|
(view preamble)
| Other names: |
classical first order logic, FO |
|
|
Cross-references: languages, occurrence, object, iff, semantics, quantifiers, connectives, term, type, first order, logic
There are 17 references to this entry.
This is version 4 of first order logic, born on 2002-08-28, modified 2003-12-02.
Object id is 3379, canonical name is FirstOrderLogic.
Accessed 17474 times total.
Classification:
| AMS MSC: | 03B10 (Mathematical logic and foundations :: General logic :: Classical first-order logic) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|