[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki


[ Back to the navigation ]

Differences

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
Next revision Both sides next revision
user:ptacek:start [2010/04/20 11:33]
ptacek
user:ptacek:start [2010/05/11 15:37]
ptacek
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 ]