Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024
Về việc thu tiền
tìm kiếm sách
sách
Tăng quỹ:
64.5% đạt
Đang nhập
Đang nhập
Người dùng đã xác minh danh tính được phép:`
nhận xét cá nhân
Telegram bot
Lịch sử download
gửi tới email hoắc Kindle
xóa mục
lưu vào mục được chọn
Cá nhân
Yêu cầu sách
Khám phá
Z-Recommend
Danh sách sách
Phổ biến
Thể loại
Đóng góp
Quyên góp
Lượt uload
Litera Library
Tặng sách giấy
Thêm sách giấy
Search paper books
LITERA Point của tôi
Tìm từ khóa
Main
Tìm từ khóa
search
1
数学における証明と真理 : 様相論理と数学基礎論
共立出版
佐野勝彦
,
倉橋太志
,
薄葉季路
,
黒川 英徳
,
菊池 誠
証
ト
ぅ
盾
寸
拡
モデル
値
仮
ム
補
zfc
フレーム
卜
ド
ヨ
クリプキ
含
健
礎
適
タルスキ
納
仁
順
ゲーデル
ニ
クラス
換
釈
宇
カット
伊
介
prr
キ
弱
典
射
偽
ぃ
パラドックス
紹
モ
宙
グ
訂
扱
徴
妥
Năm:
2016
Ngôn ngữ:
japanese
File:
PDF, 8.74 MB
Các thể loại của bạn:
0
/
5.0
japanese, 2016
2
ゲーデルと20世紀の論理学 2 : 完全性定理とモデル理論
東京大学出版会
田中 一之
証
モデル
乙
値
ヨ
ト
含
補
イ
ル
域
フレーゲ
ゲーデル
適
スコーレム
タブロー
釈
盾
濃
順
仮
枝
詞
恒
拡
納
伊
タイプ
換
略
タルスキ
コンパクト
脈
キ
宇
ヒルベルト
扱
範
タブロ
誕
複
α1
飽
偽
ド
αi
トム
メタ
哲
λf
Năm:
2006
Ngôn ngữ:
japanese
File:
PDF, 40.10 MB
Các thể loại của bạn:
0
/
5.0
japanese, 2006
3
数学の基礎をめぐる論争―21世紀の数学と数学基礎論のあるべき姿を考える
シュプリンガー・フェアラーク東京
田中 一之
礎
証
析
値
マックレーン
換
盾
専
哲
順
氏
仮
モデル
健
測
zfc
含
ヒルベルト
ゲーデル
巨
典
純
域
評
適
プルパキ
アルゴリズム
扱
収
宙
ロジック
圏
献
積
複
ツェルメロ
拡
補
アイデア
価
apg
カエル
ロジシャン
ン
円
択
弱
誌
コーシー
タルスキ
Năm:
1999
Ngôn ngữ:
japanese
File:
PDF, 45.32 MB
Các thể loại của bạn:
0
/
4.5
japanese, 1999
4
よみがえる非ユークリッド幾何
日本評論社
足立 恒雄
証
ユークリッド
ℋ
換
円
モデル
ℓ
順
垂
仮
補
鏡
ヒルベルト
典
軸
サッケーリ
礎
楕
abc
射
アルキメデス
デカルト
析
値
刳
従
ℝ
ボーヤイ
略
ロバチェフスキ
ℰ
ⅰ
適
ℍ
ℙ
積
ページ
bac
叉
鋭
互
遺
含
扱
アリストテレス
クライン
タルスキ
複
acb
厳
Năm:
2019
Ngôn ngữ:
japanese
File:
PDF, 2.80 MB
Các thể loại của bạn:
0
/
5.0
japanese, 2019
1
Đi tới
đường link này
hoặc tìm bot "@BotFather" trên Telegram
2
Xin gửi lệnh /newbot
3
Xin nêu tên cho bot của bạn
4
Xin nêu tên người dùng cho bot
5
Xin copy tin nhắn gần đây từ BotFather và dán nó và đây
×
×