Pages that link to "Item:Q1040258"
From MaRDI portal
The following pages link to Algebraic geometry in first-order logic (Q1040258):
Displaying 5 items.
- Multi-sorted logic, models, and logical geometry. (Q289767) (← links)
- Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras (Q535110) (← links)
- Logic in representations of groups (Q694234) (← links)
- Computer theorem proving in mathematics (Q704001) (← links)
- Multi-sorted logic and logical geometry: some problems. (Q895878) (← links)
