Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
20.4% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Models and Games
Cambridge University Press
Jouko Väänänen
ϕ
player
suppose
strategy
winning
theorem
quantifier
countable
finite
models
figure
sentence
formula
lemma
element
prove
formulas
sets
infinite
cited
quantifiers
generalized
structures
wins
linear
infinitary
ω1
ehrenfeucht
equivalent
proposition
fraı̈ssé
lω1
games
rank
defined
function
define
moves
graphs
assume
scott
graph
isomorphism
isomorphic
lωω
ȳ
induction
monotone
sequences
uncountable
Рік:
2011
Мова:
english
Файл:
PDF, 3.20 MB
Ваші теги:
0
/
0
english, 2011
2
Models and games
CUP
Vaananen J.
ϕ
player
suppose
strategy
winning
theorem
quantifier
countable
finite
models
figure
sentence
formula
lemma
element
prove
formulas
sets
infinite
cited
quantifiers
generalized
structures
wins
linear
infinitary
ω1
ehrenfeucht
equivalent
proposition
fraı̈ssé
lω1
games
rank
defined
function
define
moves
graphs
assume
scott
graph
isomorphism
isomorphic
lωω
ȳ
induction
monotone
sequences
uncountable
Рік:
2011
Мова:
english
Файл:
PDF, 2.39 MB
Ваші теги:
0
/
0
english, 2011
3
Models and Games
Cambridge University Press
Jouko Väänänen
ϕ
player
suppose
strategy
winning
theorem
quantifier
countable
finite
models
figure
sentence
formula
lemma
element
prove
formulas
sets
infinite
cited
quantifiers
generalized
structures
wins
linear
infinitary
ω1
ehrenfeucht
equivalent
proposition
fraı̈ssé
lω1
games
rank
defined
function
define
moves
graphs
assume
scott
graph
isomorphism
isomorphic
lωω
ȳ
induction
monotone
sequences
uncountable
Рік:
2011
Мова:
english
Файл:
PDF, 2.66 MB
Ваші теги:
0
/
0
english, 2011
4
Probabilistic Extensions of Various Logical Systems
Springer
Zoran Ognjanović (editor)
probability
formulas
probabilistic
logics
formula
probabilities
reasoning
theorem
operators
consistent
ϕ
propositional
axiom
ognjanović
models
defined
classical
completeness
axioms
justification
conditional
inference
temporal
satisfiability
journal
systems
lpp2
lemma
doder
corresponding
define
modal
lωω
maximal
perović
rašković
finite
αi
axiomatization
lkprob
consequence
sets
infer
springer
assume
function
consider
presented
forc
suppose
Рік:
2020
Мова:
english
Файл:
PDF, 2.32 MB
Ваші теги:
0
/
0
english, 2020
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×