поиск книг
книги
Поддержать
Войти
Войти
авторизованным пользователям доступны:
персональные рекомендации
Telegram бот
история скачиваний
отправить на Email или Kindle
управление подборками
сохранение в избранное
Личное
Запросы книг
Изучение
Z-Recommend
Подборки книг
Самые популярные
Категории
Участие
Поддержать
Загрузки
Litera Library
Пожертвовать бумажные книги
Добавить бумажные книги
Search paper books
Мой LITERA Point
Поиск ключевых слов
Main
Поиск ключевых слов
search
1
An introduction to Godel’s theorems, 2nd corrected edition
Peter Smith
varphi
sansa
sansp
theorem
sansx
function
sanss
vdash
p.r
neg
odel
functions
sansn
wff
sansg
sansq
sanszero
sansy
sentence
arithmetic
prove
sansr
effectively
rightarrow
forall
sansv
sigma
exists
sanso
recursive
ulcorner
urcorner
mathrm
consistent
suppose
sansc
argument
formal
turing
wffs
axiomatized
cdot
incompleteness
computable
theories
sansb
induction
psi
gamma
sansm
Год:
2020
Язык:
english
Файл:
PDF, 2.17 MB
Ваши теги:
0
/
3.0
english, 2020
2
A concise introduction to mathematical logic
Springer
Rautenberg
,
Wolfgang
mathcal
alpha
mathrm
vdash
langle
rangle
theorem
varphi
neg
forall
rightarrow
beta
exists
underline
frac
mbox
wedge
formulas
leftrightarrow
mathbb
square
formula
ldots
subseteq
gamma
equiv
induction
finite
sigma
lemma
function
equivalent
defined
omega
quad
perp
array
cdot
prove
consistent
delta
recursive
mathit
functions
zfc
nvdash
logical
sets
p.r
symbols
Год:
2010
Язык:
english
Файл:
EPUB, 4.73 MB
Ваши теги:
5.0
/
5.0
english, 2010
1
Перейдите по
этой ссылке
или найдите бота "@BotFather" в Telegram
2
Отправьте команду /newbot
3
Укажите имя для вашего бота
4
Укажите имя пользователя для бота
5
Скопируйте последнее сообщение от BotFather и вставьте его сюда
×
×