Birkhoff's theorem (Q85747361)
Jump to navigation
Jump to search
theorem in equational logic
Language | Label | Description | Also known as |
---|---|---|---|
English | Birkhoff's theorem |
theorem in equational logic |
Language | Label | Description | Also known as |
---|---|---|---|
English | Birkhoff's theorem |
theorem in equational logic |