Pages that link to "Predicate functor logic"
From HandWiki
The following pages link to Predicate functor logic:
Displayed 10 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Predicate (mathematical logic) (← links)
- Relation algebra (← links)
- First-order logic (← links)
- Algebraic logic (← links)
- Abstract algebraic logic (← links)
- Combinatory logic (← links)
- Skolem normal form (← links)
- Herbrandization (← links)
- Philosophy:Law of identity (← links)
- Biography:Willard Van Orman Quine (← links)