Набиране на средства 15 септември 2024 – 1 октомври 2024
Относно набирането на средства
търсене на книга
книги
Набиране на средства:
68.2% събрани
Впиши се
Впиши се
оторизираните потребители имат достъп до:
лични препоръки
Телеграм бот
хронология на изтеглянията
изпрати до Email или Kindle
управление на колекцията
запазване в любими
Лично
Заявки за книги
Изучаване
Z-Recommend
Списъци с книги
Най-популярни
Категории
Участие
Направете дарение
Качвания
Litera Library
Дарете хартиени книги
Добавяне на хартиени книги
Search paper books
Моят LITERA Point
Търсене на термини
Main
Търсене на термини
search
1
Subsystems of Second Order Arithmetic
Cambridge University Press
Stephen G. Simpson
theorem
ϕ
lemma
countable
rca0
viii
aca0
exists
ca0
formula
models
atr0
π11
σ11
comprehension
arithmetical
provable
prove
equivalent
mathematics
wkl0
proves
σ01
define
function
σ1k
induction
recursive
sets
assume
axioms
finite
existence
satisfies
transfinite
recursion
borel
coded
implies
continuous
π1k
defined
formulas
theorems
mathematical
choice
ac0
simpson
bounded
path
Година:
2009
Език:
english
Файл:
PDF, 1.95 MB
Вашите тагове:
5.0
/
0
english, 2009
2
逆数学と2階算術
河合文化教育研究所
田中 一之
証
ヨ
伊
値
補
納
ト
盾
含
モデル
域
礎
従
仮
rca0
wkl
ゲーデル
rca
コード
ド
骨
wkl0
覆
ム
拡
aca0
パラドックス
キ
円
換
析
順
atr0
πc
ケーニヒ
ラムゼイ
弱
械
略
扱
挙
枚
諸
倉
宇
コ
ペアノ
価
射
縮
Година:
1997
Език:
japanese
Файл:
PDF, 14.53 MB
Вашите тагове:
0
/
5.0
japanese, 1997
3
Predicativity
Fereman Solomon
predicative
ϕ
sets
predicativity
mathematics
feferman
systems
arithmetic
analysis
axiom
mathematical
poincaré
predicatively
russell
ordinals
weyl
operations
ordinal
defined
induction
ramified
recursive
finite
function
philosophy
unfolding
logical
finitist
functions
hierarchy
theoretical
accepted
ordering
transfinite
infinite
principles
definable
definitions
impredicative
operation
theorem
arguments
kreisel
rational
russell’s
existence
progression
arithmetical
equivalent
formulas
Език:
english
Файл:
PDF, 255 KB
Вашите тагове:
0
/
0
english
1
Следвайте
тази връзка
или потърсете бот „@BotFather“ в Telegram
2
Изпратете команда /newbot
3
Въведете име за вашия бот
4
Въведете потребителско име за бота
5
Копирайте последното съобщение от BotFather и го поставете тук
×
×