Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024
O prikupljanju novca
pretraga knjiga
knjige
Prikupljanje sredstava:
65.3% dosegnuto
Prijaviti se
Prijaviti se
prijavljenim korisnicima su dostupni:
lične preporuke
Telegram bot
istorija preuzimanja
poslati na Email ili Kindle
upravljanje zbirkama
sačuvanje u izabrano
Lično
Upite za knjige
Proučavanje
Z-Recommend
Spiskovi knjiga
Najpopularnije
Kategorije
Učešće
Donirati
Otpremanja
Litera Library
Donirati papirne knjige
Dodati papirne knjige
Search paper books
Moj LITERA Point
Pretraga ključnih reči
Main
Pretraga ključnih reči
search
1
Model Theory for Infinitary Logic: Logic with Countable Conjunctions and Finite Quantifiers
North-Holland Publishing
H. Jerome Keisler
theorem
countable
models
formula
elementary
suppose
sentence
formulas
fragment
function
sets
prove
assume
skolem
whence
ordinal
consistent
corollary
infinite
cardinal
lemma
admissible
finite
satisfies
indiscernibles
homogeneous
exists
barwise
uncountable
transitive
arb
ordinals
variables
symbols
existence
lecture
categorical
countably
morley
realizes
constants
infinitary
moreover
contains
extensions
functions
saturated
axiom
hanf
compactness
Godina:
1971
Jezik:
english
Fajl:
PDF, 6.17 MB
Vaši tagovi:
0
/
0
english, 1971
2
О теореме Левенгейма-Сколема-Мальцева для HF-структур
Пузаренко В. Г.
ϕ
lσa
модель
сигнатуры
наследственно
языка
множество
мощности
существует
конечных
фрагмент
lσ
mδ
теория
mα
конечной
надстроек
надстройки
ℵ0
lσω
левенгейма
определение
сколема
теореме
элементов
sα
xϕ
вида
модели
неразличимых
теории
hσ
mβ
каждого
мальцева
множества
пузаренко
символов
формул
σ1
ω1
любой
структур
теорема
фрагментом
card
iα
tskolem
допустимое
допустимый
Godina:
2004
Jezik:
russian
Fajl:
PDF, 186 KB
Vaši tagovi:
0
/
0
russian, 2004
1
Idite na
ovaj link
ili potražite bota „@BotFather“ u Telegramu
2
Pošaljite komandu /newbot
3
Navedite ime za svog bota
4
Navedite korisničko ime za bota
5
Kopirajte poslednju poruku od BotFather i ubacite je ovde
×
×