【図書】 Ｃｏｍｐｕｔａｔｉｏｎ ａｎｄ ｐｒｏｏｆ ｔｈｅｏｒｙ ２
ｐｒｏｃｅｅｄｉｎｇｓ ｏｆ ｔｈｅ Ｌｏｇｉｃ Ｃｏｌｌｏｑｕｉｕｍ ｈｅｌｄ ｉｎ Ａａｃｈｅｎ， Ｊｕｌｙ １８－２３， １９８３ -- Ｌｅｃｔｕｒｅ ｎｏｔｅｓ ｉｎ ｍａｔｈｅｍａｔｉｃｓ （Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ） -- ｅｄｉｔｅｄ ｂｙ Ｍ．Ｍ． Ｒｉｃｈｔｅｒ ．．． ［ｅｔ ａｌ．］． , -- Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ -- １９８４． -- ２５ ｃｍ． -- ｖｉｉｉ， ４７５ ｐ．：ｉｌｌ．
ページの先頭へ
所蔵は 1 件です。現在の予約件数は 0 件です。