- Tytuł:
- Multi-sorted logic and logical geometry : some problems
- Autorzy:
-
Plotkin, B.
Plotkin, E. - Data publikacji:
- 2015
- Słowa kluczowe:
-
multi-sorted algebra
category
logical geometry
affine space
universal algebraic geometry
Halmos algebra
type of a point
kategoria
geometria logiczna
przestrzeń afiniczna
uniwersalna geometria algebraiczna
algebra Halmosa - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł