Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
articles search
articles
Fundraising:
17.6% raised
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Search paper books
Open LITERA Point
Terms search
Main
Terms search
search
1
Mathematical Logic. An Introduction
De Gruyter
Daniel W. Cunningham
ℒ
function
theorem
ℕ
recursive
primitive
wff
wffs
functions
prove
implies
formula
defined
sentence
ℕk
logical
induction
symbols
𝒩
lemma
suppose
define
representable
proposition
assume
ℱ
assignment
formulas
𝒮
deduction
variables
finite
corollary
partial
step
axiom
computable
axioms
recursively
ṡ
satisfies
decidable
conclude
𝒯
enumerable
recursion
quantifier
atomic
satisfiable
sets
Year:
2023
Language:
english
File:
PDF, 4.38 MB
Your tags:
5.0
/
0
english, 2023
2
Mathematical Logic: An Introduction
De Gruyter
Daniel W. Cunningham
ℒ
function
theorem
ℕ
recursive
primitive
wff
wffs
functions
prove
implies
formula
defined
sentence
ℕk
logical
induction
symbols
𝒩
lemma
suppose
define
representable
proposition
assume
ℱ
assignment
formulas
𝒮
deduction
variables
finite
corollary
partial
step
axiom
computable
axioms
recursively
ṡ
satisfies
decidable
conclude
𝒯
enumerable
recursion
quantifier
atomic
satisfiable
sets
Year:
2023
Language:
english
File:
PDF, 3.55 MB
Your tags:
5.0
/
5.0
english, 2023
3
Mathematical Logic: An Introduction
de Gruyter
Daniel Cunningham
ℒ
function
theorem
ℕ
recursive
primitive
wff
wffs
functions
prove
implies
formula
defined
sentence
ℕk
logical
induction
symbols
𝒩
lemma
suppose
define
representable
proposition
assume
ℱ
assignment
formulas
𝒮
deduction
variables
finite
corollary
partial
step
axiom
computable
axioms
recursively
ṡ
satisfies
decidable
conclude
𝒯
enumerable
recursion
quantifier
atomic
satisfiable
sets
Year:
2023
Language:
english
File:
PDF, 4.28 MB
Your tags:
5.0
/
5.0
english, 2023
4
Обязательный спецкурс кафедры математической логики и теории алгоритмов.
Беклемишев Л.Д. и др.
доказательство
теорема
формулы
множество
определение
утверждение
формула
ℱ
множества
следовательно
ℳ
существует
лекции
модель
рассмотрим
функции
примитивно
модели
функция
теория
аксиома
докажем
множеств
формул
элемент
теории
ℕ
mσ
аксиомы
противоречие
начало
положим
аксиом
отношение
σ1
индукции
конец
порядок
упражнение
наименьший
предикатов
доказать
мощности
формулу
арифметики
любой
называется
обозначим
силу
число
Year:
2016
Language:
russian
File:
PDF, 709 KB
Your tags:
0
/
0
russian, 2016
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×