Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Картотека статей - результаты поиска

Вид поиска

Область поиска
в найденном
 Найдено в других БД:Электронный каталог НТГСПИ (13)
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Математическая логика<.>)
Общее количество найденных документов : 12
Показаны документы с 1 по 10
 1-10    11-12 
1.

Тейт У. Еще одно изгнание из рая: счет становится безумным/У. Тейт // Философия науки, 2007,N N 4.-С.183-191
2.

Николенко С. Истина в математике: от Египта к... Египту?/С. Николенко // Знание-сила, 2008,N N 6.-С.63-69
3.

Бессонов А. В. Можно ли доказать тезис Черча?/А. В. Бессонов, А. В. Хлебалин, В. В. Целищев // Философия науки, 2008,N N 2.-С.44-61
4.

Черепанов Е. М. Простота как критерий убедительности доказательства/Е. М. Черепанов // Философия науки, 2010,N N 1.-С.91-101
5.

Самохвалов К. Ф. Физический тезис Черча/К. Ф. Самохвалов // Философия науки, 2010,N N 2.-С.34-61
6.

Белякин Н. В. Об основных критериях убедительности доказательства/Н. В. Белякин, Е. М. Черепанов // Философия науки, 2010,N N 3.-С.31-44
7.

Анкин Д. В. К эпистемологической интерпретации семантики/Д. В. Анкин // Философия науки, 2012,N № 3.-С.29-35
8.

Ладов В. А. "Principia Mathematica" о природе логических парадоксов/В. А. Ладов // Философия науки, 2012,N № 3.-С.36-44
9.

Ламберов Л. Д. Дефляционизм и неконсервативность: проблема релевантности?/Л. Д. Ламберов // Философия науки, 2012,N № 3.-С.45-52
10.

Лобовиков В. О. Применение аппарата логических исчислений для анализа традиционных проблем философии права/В. О. Лобовиков // Философия науки, 2012,N № 3.-С.53-64
 1-10    11-12 
 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)