slides - Kwarc
slides - Kwarc
slides - Kwarc
SHOW LESS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Overview<br />
(1)<br />
Set/model theory Type/proof theory<br />
(2)<br />
Knowledge management<br />
18