Vývoj našich výpisků (odkazy na odt, PDF za jménem předmětu) je již ukončen. Budete-li je chtít dále rozvíjet, kontaktujte mne. Tyto výpisky (věty i s důkazy, příklady, atd) jsme s Keddiem (a za pomoci mnohých dalších) vytvářeli v ak. roce 2008/09. Neexistuje garance kompletnosti ani správnosti obsahu.
Vývoj našich výpisků (odkazy na odt, PDF za jménem předmětu) je již ukončen. Budete-li je chtít dále rozvíjet, kontaktujte mne. Tyto výpisky (věty i s důkazy, příklady, atd) jsme s Keddiem (a za pomoci mnohých dalších) vytvářeli v ak. roce 2008/09. Neexistuje garance kompletnosti ani správnosti obsahu.