Вы здесь

Главная

доказуемость

Связанные издания:

Automated Deduction - CADE 27: Proc./27th International Conference on Automated Deduction, Natal, Brazil, August 2019
Computing with Foresight and Industry: Proc./15th Conference on Computability in Europe, CiE 2019, Durhan, UK, July 2019
Explicit Provability and Constructive Semantics
Kolmogorov and Godel s approach to intuitionistic logic: current developments
Logic of Proofs and provability
Moscow Computer Science School 2004 "Математика и программирование: от теории к практике"
The Boole Lecture: A Very Mathematical Dilemma
Подход Колмогорова и Геделя к интуиционистской логике и работы последнего десятилетия в этом направлении