pátek 5. června 2015

Prague seminar on Non-Classical Mathematics

11. - 13. 6. 2015
Institute of Computer Science of the Czech Academy of Sciences
Pod Vodárenskou věží 271, Prague 8

non-classical mathematics is a study of both metamathematics based
on some non-classical logic and (any part of) mathematics that is,
or can in principle be, formalized in some non-classical logic.

Žádné komentáře: