Blank Cover Image
所蔵情報QRコード

Les méthodes formelles en axiomatique : Paris, décembre 1950

資料種別:
図書
出版情報:
Paris : Centre national de la recherche scientifique, 1953
形態:
78 p. ; 24 cm
シリーズ名:
Colloques internationaux du Centre national de la recherche scientifique ; 36 <BA00592220>
書誌ID:
BA3263539X
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Classical recursion theory : the theory of functions and sets of natural numbers (: pbk.)

Odifreddi, Piergiorgio, 1950-

North-Holland
7 図書 連続体の数理哲学

沢口, 昭聿(1927-)

東海大学出版会
2 図書 The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, …

Henkin, Leon, Suppes, Patrick, 1922-, Tarski, Alfred, 1902-

North-Holland
8 図書 記号論理学

Kneebone, Geoffrey Thomas, 安藤, 洋美

明治図書出版
3 図書 数学・自然学 (: 新装版)

Leibniz, Gottfried Wilhelm, Freiherr von, 1646-1716, 原, 亨吉(1918-2012), 横山, 雅彦(1941-), 三浦, …

工作舎
9 図書 論理

中谷, 太郎(1903-1997)

共立出版
4 図書 帰納と類比

Polya, George, 1887-1985, 柴垣, 和三雄(1906-)

丸善
10 図書 数と連続の哲学

白石, 早出雄(1896-)

共立出版
5 図書 数学論 : 数学的認識の本性

Ruzavin, G. I. (Georgiĭ Ivanovich), 山崎, 三郎(1908-1974), 柴岡, 泰光(1929-)

岩波書店
11 図書 数学基礎論

Kneebone, Geoffrey Thomas, 安藤, 洋美

明治図書出版
6 図書 プラトンの数理哲学

Wedberg, Anders, 1913-1978, 山川, 偉也(1938-)

法律文化社
12 図書 リーディングス数学の哲学 : ゲーデル以後

飯田, 隆(1948-)

勁草書房
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12