zkouska 22.9.2009
Napsal: 22. 9. 2009 18:52
Knaster-Tarski
Booleovky, potom Booleanizace a naopak proc je kazda boolova algebra i algebreou heytingovou
Ultrafiltry
Uzaver
za 3
Booleovky, potom Booleanizace a naopak proc je kazda boolova algebra i algebreou heytingovou
Ultrafiltry
Uzaver
za 3