Pages that link to "Item:Q1371430"

The following pages link to On the semantics of the universal quantifier (Q1371430):

Displaying 2 items.

• Coherence in linear predicate logic (Q1011758) (← links)
• Combining first order algebraic rewriting systems, recursion and extensional lambda calculi (Q4632448) (← links)