Рубрика

Название:

 

основания математики, математическая логика  

Название:

 

нечеткая логика  

Название:

 

общий раздел  

Название:

 

учебные пособия для вузов  

Название:

 

логические исчисления, исчисления высказываний, исчисление предикатов  

Название:

 

теория алгоритмов, рекурсивные функции  

Название:

 

аксиоматика математической логики  

Название:

 

история математической логики  

Название:

 

сборники статей  

Название:

 

конструктивный анализ