Programs
You can download the program at the following link
-
Preliminary Version
-
Set Theory
-
Computability and informatics
-
Models Theory
-
Non-classical philosophy and logic
You can download the program at the following link