寄付 2024年9月15日 – 2024年10月1日
募金について
本の検索
本
寄付:
58.5% 完了
サインイン
サインイン
より多くの機能を利用するために
個人的なおすすめ
テレグラムボット
ダウンロード履歴
メールまたはKindleに送信する
ブックリストの管理
お気に入りに保存
個人用
本のリクエスト
探索
Z-おすすめ
ブックリスト
一番人気本
カテゴリー
貢献
ドネーション
アップロード
Litera Library
紙の本を寄付する
紙の本を追加する
Search paper books
私のLitera Point
キーワード検索
Main
キーワード検索
search
1
Axiomatic Set Theory: Theory Impredicative Theories of Classes
Elsevier Science Ltd
Leopoldo Nachbin (Eds.)
theorem
prove
assume
suppose
roland0
axiomatic
proved
chuaqui
axiom
reader
theorems
define
schema
implies
axioms
formula
shown
unbounded
defined
ordering
xea
element
function
unique
cases
formulas
continuous
mkt
founded
operation
operations
ordinal
otherwise
cardinal
dense
weakly
sets
immediate
monotone
ordered
sequences
symbols
applying
orderings
choice
compact
deduce
deduced
equivalent
enumerates
年:
1981
言語:
english
ファイル:
PDF, 11.09 MB
あなたのタグ:
0
/
0
english, 1981
2
Axiomatic Set Theory: Impredicative Theories of Classes
Elsevier Science Ltd
R. Chuaqui
theorem
prove
assume
suppose
roland0
axiomatic
proved
chuaqui
axiom
theorems
reader
define
implies
schema
axioms
formula
shown
unbounded
xea
ordering
defined
function
element
unique
cases
formulas
continuous
mkt
founded
operation
cardinal
operations
ordinal
dense
otherwise
weakly
sets
immediate
monotone
ordered
sequences
symbols
xev
applying
equivalent
orderings
compact
deduce
deduced
choice
年:
1981
言語:
english
ファイル:
PDF, 11.25 MB
あなたのタグ:
0
/
0
english, 1981
3
Non-classical logics, model theory and computability.
Elsevier Science
A.I. Arruda
,
et al
theorem
lemma
systems
axiom
automorphism
formula
suppose
element
models
modal
chuaqui
subset
axioms
formulas
prove
sets
defined
bounded
subsets
symbols
obtained
theorems
usual
boolean
sentence
arruda
congruence
formal
algebras
proposition
consider
assume
proved
sequences
denoted
countable
extended
id6
classical
corollary
n.c.a
denote
symbolic
discussive
equal
holland
outcomes
cases
logics
mathematical
年:
1977
言語:
english
ファイル:
PDF, 12.58 MB
あなたのタグ:
0
/
0
english, 1977
1
このリンク
にアクセスするか、またはTelegramで「@BotFather」というボットを探してください。
2
「/newbot」というコマンドを送信してください。
3
チャットボットの名前を指定してください。
4
ボットのユーザー名を選んでください。
5
BotFatherから最後のメッセージをコピーして、ここに貼り付けてください。
×
×