Anna De Simone presents The proof of the Tarski-Davis theorem on the fixed point for complete lattices.

On 1999-04-08 - 10:00:00
Za obsah zodpovídá: Petr Pošík