[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki

[ Back to the navigation ]


This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
user:ptacek:start [2010/04/20 11:33]
user:ptacek:start [2010/05/11 15:37] (current)
Line 134: Line 134:
 [[Bergen]] [[Bergen]]
 zmena zmena
 +<​latex>​\forall x: W_x \subseteq B \Rightarrow (\varphi(x)\downarrow \And \varphi(x) \in B \smallsetminus W_x)</​latex>​
 ~~NOTOC~~ ~~NOTOC~~

[ Back to the navigation ] [ Back to the content ]