本文に飛ぶ
図書

Mathematical interpretation of formal systems [by] Th. Skolem [and others]. (Studies in logic and the foundations of mathematics)

図書を表すアイコン

Mathematical interpretation of formal systems [by] Th. Skolem [and others].

(Studies in logic and the foundations of mathematics)

国立国会図書館請求記号
164-W815m
国立国会図書館書誌ID
000006377886
資料種別
図書
著者
Skolem, Th. (Thoralf) , 1887-1963.
出版者
North-Holland Pub. Co.
出版年
1955.
資料形態
ページ数・大きさ等
113 p. 22 cm.
NDC
-
すべて見る

資料に関する注記

一般注記:

Lectures held at the symposium on mathematical interpretation of formal systems in Amsterdam, Sept. 9-10, 1954.

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
出版年月日等
1955.
出版年(W3CDTF)
1955
数量
113 p. 22 cm.
出版地(国名コード)
NL
本文の言語コード
eng