General Program

You can download the program at the following link

  • Preliminary Version

  • Set Theory

  • Computability and informatics

  • Models Theory

  • Non-classical philosophy and logic