Pages that link to "Item:Q1166497"

The following pages link to Proceedings of the Herbrand Symposium. Logic Colloquium '81, held in Marseille, France, July 1981 (Q1166497):

Displayed 3 items.

• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) ‎ (← links)
• Natural well-orderings (Q3772212) ‎ (← links)
• Notions of locality and their logical characterizations over finite models (Q4948541) ‎ (← links)