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):
Displaying 2 items.
The following pages link to An axiom system for the weak monadic second order theory of two successors (Q1253650):
Displaying 2 items.