buscar libros
libros
Donar
Iniciar sesión
Iniciar sesión
los usuarios autorizados tienen acceso a:
recomendaciones personales
Bot de Telegram
historial de descargas
enviar a correo electrónico o Kindle
gestión de listas de libros
guardar en favoritos
Personal
Solicitudes de libros
Estudio
Z-Recommend
Listas de libros
Más populares
Categorías
Participación
Donar
Cargas
Litera Library
Donar libros en papel
Agregar libros en papel
Search paper books
Mi LITERA Point
Búsqueda de palabras clave
Main
Búsqueda de palabras clave
search
1
Математическая теория логического вывода [сборник переводов статей]
Наука
Идельсон А.В.
,
Минц Г.Е. (ред.)
заключения
секвенции
формулы
вывода
формула
формул
секвенция
чисел
доказательство
правила
вывод
число
доказательства
правил
теории
применения
фигуры
качестве
теоремы
помощью
переменных
соответственно
формулу
формулой
теорема
логических
непротиворечивости
числа
системы
входит
переменные
секвенцию
вида
секвенций
получается
предикатов
ниже
являются
аксиомы
аксиом
исчисления
выводима
конечной
символов
следующим
согласно
леммы
фигур
генцен
чистой
Año:
1967
Idioma:
russian
Archivo:
DJVU, 3.34 MB
Sus etiquetas:
0
/
0
russian, 1967
2
Теория поиска вывода. Происхождение и философские приложения: монография
ЭБС Лань
Брюшинкин В.Н.
,
Ходикова Н.А.
вывода
теории
поиска
доказательства
теория
логики
доказательств
исчисления
логических
логика
теорем
науки
доказательство
метод
правила
подформульности
правил
теорий
наука
вывод
истории
формулы
исчислении
понятие
развития
логического
анализа
исчислений
решения
исследования
новой
системы
задач
логике
математики
рассуждений
грязнов
задачи
построения
процедуры
изд
высказываний
области
объекта
понятия
проблемы
метода
модели
подход
заключения
Año:
2012
Idioma:
russian
Archivo:
PDF, 1.25 MB
Sus etiquetas:
0
/
4.0
russian, 2012
3
ТЕОРИЯ ПОИСКА ВЫВОДА. ПРОИСХОЖДЕНИЕ И ФИЛОСОФСКИЕ ПРИЛОЖЕНИЯ
БРЮШИНКИН ВЛАДИМИР НИКИФОРОВИЧ
вывода
теории
поиска
доказательства
теория
логики
доказательств
исчисления
логических
логика
теорем
науки
доказательство
метод
правила
подформульности
правил
теорий
наука
вывод
истории
формулы
исчислении
понятие
развития
логического
анализа
исчислений
решения
исследования
новой
системы
задач
логике
математики
рассуждений
грязнов
задачи
построения
процедуры
изд
высказываний
области
объекта
понятия
проблемы
метода
модели
подход
заключения
Idioma:
russian
Archivo:
PDF, 2.10 MB
Sus etiquetas:
0
/
0
russian
4
Теория поиска вывода. Происхождение и философские приложения : монография
Балтийский федеральный университет им. И.Канта
Брюшинкин В.Н.
,
Ходикова Н.А.
вывода
теории
поиска
доказательства
теория
логики
доказательств
исчисления
логических
логика
теорем
науки
доказательство
метод
правила
подформульности
правил
теорий
наука
вывод
истории
формулы
исчислении
понятие
развития
логического
анализа
исчислений
решения
исследования
новой
системы
задач
логике
математики
рассуждений
грязнов
задачи
построения
процедуры
изд
высказываний
области
объекта
понятия
проблемы
метода
модели
подход
заключения
Año:
2012
Idioma:
russian
Archivo:
PDF, 1.59 MB
Sus etiquetas:
0
/
0
russian, 2012
1
Sigue
este link
o encuentra al bot "@BotFather" en Telegram
2
Envía el comando /newbot
3
Indica un nombre para tu bot
4
Indica un nombre de usuario para el bot
5
Copia el último mensaje de BotFather e insértalo aquí
×
×