Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
29.5% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Мій LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
数学における証明と真理 : 様相論理と数学基礎論
共立出版
佐野勝彦
,
倉橋太志
,
薄葉季路
,
黒川 英徳
,
菊池 誠
証
ト
ぅ
盾
寸
拡
モデル
値
仮
ム
補
zfc
フレーム
卜
ド
ヨ
クリプキ
含
健
礎
適
タルスキ
納
仁
順
ゲーデル
ニ
クラス
換
釈
宇
カット
伊
介
prr
キ
弱
典
射
偽
ぃ
パラドックス
紹
モ
宙
グ
訂
扱
徴
妥
Рік:
2016
Мова:
japanese
Файл:
PDF, 8.74 MB
Ваші теги:
0
/
5.0
japanese, 2016
2
ゲーデルと20世紀の論理学 2 : 完全性定理とモデル理論
東京大学出版会
田中 一之
証
モデル
乙
値
ヨ
ト
含
補
イ
ル
域
フレーゲ
ゲーデル
適
スコーレム
タブロー
釈
盾
濃
順
仮
枝
詞
恒
拡
納
伊
タイプ
換
略
タルスキ
コンパクト
脈
キ
宇
ヒルベルト
扱
範
タブロ
誕
複
α1
飽
偽
ド
αi
トム
メタ
哲
λf
Рік:
2006
Мова:
japanese
Файл:
PDF, 40.10 MB
Ваші теги:
0
/
5.0
japanese, 2006
3
数学の基礎をめぐる論争―21世紀の数学と数学基礎論のあるべき姿を考える
シュプリンガー・フェアラーク東京
田中 一之
礎
証
析
値
マックレーン
換
盾
専
哲
順
氏
仮
モデル
健
測
zfc
含
ヒルベルト
ゲーデル
巨
典
純
域
評
適
プルパキ
アルゴリズム
扱
収
宙
ロジック
圏
献
積
複
ツェルメロ
拡
補
アイデア
価
apg
カエル
ロジシャン
ン
円
択
弱
誌
コーシー
タルスキ
Рік:
1999
Мова:
japanese
Файл:
PDF, 45.32 MB
Ваші теги:
0
/
4.5
japanese, 1999
4
よみがえる非ユークリッド幾何
日本評論社
足立 恒雄
証
ユークリッド
ℋ
換
円
モデル
ℓ
順
垂
仮
補
鏡
ヒルベルト
典
軸
サッケーリ
礎
楕
abc
射
アルキメデス
デカルト
析
値
刳
従
ℝ
ボーヤイ
略
ロバチェフスキ
ℰ
ⅰ
適
ℍ
ℙ
積
ページ
bac
叉
鋭
互
遺
含
扱
アリストテレス
クライン
タルスキ
複
acb
厳
Рік:
2019
Мова:
japanese
Файл:
PDF, 2.80 MB
Ваші теги:
0
/
5.0
japanese, 2019
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×