Substructure

structure in mathematical logic

Kategori: