Re: [Provoz] pokus

[Vilem Vychodil <vilem bod vychodil zavinac upol bod cz>]

  Re.

On Wed, May 07, 2003 at 02:45:27PM +0200, Vilem Vychodil wrote:
> 
>   Pokus. Test subjektu.
> 
> -- 
>     Vilem Vychodil                      Palacky University, CS Department
>     <vilem bod vychodil zavinac upol bod cz>            
> http://vychodil.inf.upol.cz/
> 
>     $${\cal T} \vdash \varphi \Leftrightarrow {\cal T} \models \varphi.$$

> _______________________________________________
> Provoz mailing list
> Provoz zavinac debian bod cz
> http://www.debian.cz/mailman/listinfo/provoz


-- 
    Vilem Vychodil                      Palacky University, CS Department
    <vilem bod vychodil zavinac upol bod cz>            
http://vychodil.inf.upol.cz/

    $${\cal T} \vdash \varphi \Leftrightarrow {\cal T} \models \varphi.$$