ricerca dei libri
libri
Donare
Entrare
Entrare
gli utenti autorizzati hanno accesso a:
raccomandazioni personali
Telegram bot
cronologia dei download
inviare a email o Kindle
gestione delle raccolte
salvare nei preferiti
Personale
Richieste di libro
Studia
Z-Recommend
Elenco libri
Più popolari
Categorie
Partecipazione
Donare
Caricamenti
Litera Library
Dona i libri cartacei
Aggiungi i libri cartacei
Search paper books
Mio LITERA Point
Ricerca termini
Main
Ricerca termini
search
1
Sigma-определимость в наследственно конечных надстройках и пары моделей
Стукачев А. И.
модель
теории
модели
множество
m̄
сигнатуры
формул
рекурсивно
наследственно
множества
элементов
моделей
s̄
x̄
теория
n̄
конечных
m̄0
набор
насыщенной
надстройках
ȳ
σ2
простой
существует
классом
конечной
определимость
hyp
простая
стукачев
m̄1
θk
бесконечное
локально
любой
насыщена
понятие
ftk
моделью
набора
неразличимых
несчетная
определима
относительно
эффективно
c̄
tκ
σ1
доказательство
Anno:
2005
Lingua:
english
File:
PDF, 265 KB
I tuoi tag:
0
/
0
english, 2005
1
Segui
questo link
o cerca il bot "@BotFather" in Telegram
2
Invia il comando /newbot
3
Inserisci un nome del tuo bot
4
Inserisci un nome utente del bot
5
Copia l'ultimo messaggio da BotFather e incollalo qui
×
×