Сбор средств 15 Сентября 2024 – 1 Октября 2024
О сборе средств
поиск книг
книги
Сбор средств:
71.3% достигнуто
Войти
Войти
авторизованным пользователям доступны:
персональные рекомендации
Telegram бот
история скачиваний
отправить на Email или Kindle
управление подборками
сохранение в избранное
Личное
Запросы книг
Изучение
Z-Recommend
Подборки книг
Самые популярные
Категории
Участие
Поддержать
Загрузки
Litera Library
Пожертвовать бумажные книги
Добавить бумажные книги
Search paper books
Мой LITERA Point
Поиск ключевых слов
Main
Поиск ключевых слов
search
1
Математическая логика. Курс лекций
Плиско В.Е.
формула
формулы
множество
множества
формул
высказываний
силу
теорема
доказать
доказательство
высказывание
существует
называется
сигнатуры
переменных
теоремы
дизъюнктов
формулу
формуле
докажем
любой
исчислении
интерпретации
высказывания
логических
модель
предикатов
операции
переменной
операций
вывод
дизъюнкт
исчисления
любого
означает
правилу
причем
зжф
значения
утверждение
модели
теории
логическая
содержит
переменная
требовалось
вида
класс
аксиом
зависит
Год:
2004
Язык:
russian
Файл:
DJVU, 731 KB
Ваши теги:
0
/
0
russian, 2004
1
Перейдите по
этой ссылке
или найдите бота "@BotFather" в Telegram
2
Отправьте команду /newbot
3
Укажите имя для вашего бота
4
Укажите имя пользователя для бота
5
Скопируйте последнее сообщение от BotFather и вставьте его сюда
×
×