Pages that link to "Item:Q1253650"
From MaRDI portal
The following pages link to An axiom system for the weak monadic second order theory of two successors (Q1253650):
Displayed 2 items.
The following pages link to An axiom system for the weak monadic second order theory of two successors (Q1253650):
Displayed 2 items.