寄付 2024年9月15日 – 2024年10月1日
募金について
本の検索
本
寄付:
71.1% 完了
サインイン
サインイン
より多くの機能を利用するために
個人的なおすすめ
テレグラムボット
ダウンロード履歴
メールまたはKindleに送信する
ブックリストの管理
お気に入りに保存
個人用
本のリクエスト
探索
Z-おすすめ
ブックリスト
一番人気本
カテゴリー
貢献
ドネーション
アップロード
Litera Library
紙の本を寄付する
紙の本を追加する
Search paper books
私のLitera Point
キーワード検索
Main
キーワード検索
search
1
Diagonalization in Formal Mathematics (BestMasters)
Springer Spektrum
Paulo Guilherme Santos
ϕ
diagonalization
theorem
paradox
formula
lemma
function
fixed
consider
sentence
yablo’s
recursive
previous
systems
pϕ
prove
formulas
springer
curry
reference
referential
mathematics
paradoxes
predicate
formal
primitive
functions
pψq
löb
löb’s
arithmetic
contradiction
suppose
temporal
define
axiom
curry’s
liar
presented
gödel’s
conclude
decidable
examples
incompleteness
mathematical
pϕq
cterm
formulation
approach
smi13
年:
2020
言語:
english
ファイル:
PDF, 529 KB
あなたのタグ:
0
/
0
english, 2020
2
Supremum in the Lattice of Interpretability [MSc Thesis]
University of Amsterdam
Paula Henk
supremum
modal
theorem
implementation
ilms
interpretability
sentence
formulas
arithmetical
formula
fixed
provability
xsw
lemma
frames
completeness
consistent
axiom
node
w.r.t
finite
theories
prove
visser’s
švejdar’s
provable
arithmetic
defined
suppose
lattice
adequate
implementations
principle
whence
maximal
orey
characterization
ilmsf
prt
version
monotonicity
σ1
explicit
nodes
degree
distributivity
restricted
valid
define
degrees
年:
2012
言語:
english
ファイル:
PDF, 711 KB
あなたのタグ:
0
/
0
english, 2012
1
このリンク
にアクセスするか、またはTelegramで「@BotFather」というボットを探してください。
2
「/newbot」というコマンドを送信してください。
3
チャットボットの名前を指定してください。
4
ボットのユーザー名を選んでください。
5
BotFatherから最後のメッセージをコピーして、ここに貼り付けてください。
×
×