Какие типы логических исчислений должны изучаться студентами-философамитезисы доклада