[ 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 Both sides next revision
user:ptacek:start [2010/04/20 11:33]
ptacek
user:ptacek:start [2010/05/11 15:18]
ptacek
Line 134: Line 134:
 [[Bergen]] [[Bergen]]
 zmena zmena
 +
 +<math>\forall x: W_x \subseteq B \Rightarrow (\varphi(x)\downarrow \And \varphi(x) \in B \smallsetminus W_x)</math>
 +
 ~~NOTOC~~ ~~NOTOC~~

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