Pages that link to "Item:Q673461"

The following pages link to Partial functions and logics: A warning (Q673461):

Displaying 2 items.

• Empowering the Event-B method using external theories (Q2165497) (← links)
• Bunch theory: axioms, logic, applications and model (Q6561347) (← links)