Next: Kehtestatav valem (satisfiable formula)
Up: No Title
Previous: Intuitsionistlik loogika (intuitionistic logic)
- algebralise süsteemi niisugune üksühene kujutus sama tüüpi süsteemiks, mille korral säilib süsteemide struktuur, s.t. operatsioonid, järjestus, topoloogia jms.
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996