Weak sequential theories of finite full binary trees (Q2104270)

From MaRDI portal