11. - 13. 6. 2015
Venue:
Institute of Computer Science of the Czech Academy of Sciences
Pod Vodárenskou věží 271, Prague 8
Institute of Computer Science of the Czech Academy of Sciences
Pod Vodárenskou věží 271, Prague 8
Scope:
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.
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:
Okomentovat