関連資料一覧：（本学所蔵）

検索条件入力＞書誌詳細＞関連資料一覧：（本学所蔵）

関連資料一覧：（本学所蔵）

著者名典拠情報

NCID	DA01977227
名称(HDNG)	Association for Symbolic Logic
から見よ(SF)	ASL
注記(NOTE)	Proceedings of the Tarski Symposium, 1974 EDSRC:The Bulletin of symbolic logic(Association for Symbolic Logic, c1995-)

選択行を：

資料名

所在

1

Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors. -- American Mathematical Society, c1988. -- (Contemporary mathematics ; v. 69).

理数学 410.9:M

2

Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss. -- Cambridge University Press, 1999. -- (London Mathematical Society lecture note series ; 259).

理数学 410:C

3

Lecture notes in logic. -- Springer-Verlag, .

選択行を

▲ページトップへ

カナ
英字
ＥＸＣ
ギリシャ
キリル
ハングル

ＥＸＣ

ＥＸＣ

ＥＸＣ

ＥＸＣ

초성

중성

종성