Pages that link to "Item:Q497872"
From MaRDI portal
The following pages link to First-order logic and first-order functions (Q497872):
Displaying 7 items.
- Logic prizes \textit{et cætera} (Q1632046) (← links)
- (Q3081829) (← links)
- First-order functional languages and intensional logic (Q4339019) (← links)
- (Q4342019) (← links)
- (Q4386926) (← links)
- New semantics for urn logics: taming the enduring scandal of deduction (Q5061412) (← links)
- Regular and First-Order List Functions (Q5145284) (← links)
