Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
nikolajs_notebook [2017/06/25 17:53] nikolaj |
nikolajs_notebook [2017/07/15 17:44] nikolaj |
||
---|---|---|---|
Line 11: | Line 11: | ||
| **video:** | [[https://www.youtube.com/channel/UCcrSMnEYhIPX_p127jI23qw/videos | youtube]] (Nikolaj-K) | | | **video:** | [[https://www.youtube.com/channel/UCcrSMnEYhIPX_p127jI23qw/videos | youtube]] (Nikolaj-K) | | ||
- | | **code:** | [[https://github.com/Nikolaj-K | github]] | | + | | **code:** | [[https://github.com/Nikolaj-K | GitHub]] | |
- | | **CV:** | [[https://www.linkedin.com/in/nikolaj-kuntner-0138aa104 | LinkedIn]] | | + | | **vita:** | [[https://www.linkedin.com/in/nikolaj-kuntner-0138aa104 | LinkedIn]] | |
[[Intuitionistic propositional logic]] --- | [[Intuitionistic propositional logic]] --- |