Citace od: Haskell Guru kdy 13. 03. 2018, 18:57:55Muze.
Citace od: Jester kdy 13. 03. 2018, 19:06:30Citace od: Haskell Guru kdy 13. 03. 2018, 18:57:55Muze.Nemůže.
Citace od: DK kdy 13. 03. 2018, 20:15:58Citace od: Jester kdy 13. 03. 2018, 19:06:30Citace od: Haskell Guru kdy 13. 03. 2018, 18:57:55Muze.Nemůže.Mozna
Citace od: Haskeller kdy 13. 03. 2018, 17:46:45uvažuju teorie v typovaném λ-kalkulu, může být množina všech pravdivých výrazů (vzhledem k modelům) nespočetná?
6 Příspěvky
2 627 Zhlédnutí