Mathematical logic : foundations for information science

Mathematical logic : foundations for information science

Wei Li

Basel : Birkhäuser, c2010

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

410.96-R32

10009024052

一般図書

詳細情報

刊年

2010

形態

xii, 261 p. : ill. ; 24 cm

別書名

数理逻辑 : 基本原理与形式演算

シリーズ名

Progress in computer science and applied logic ; v. 25

注記

English version based on: 数理逻辑 : 基本原理与形式演算. Beijing, : Science Press, 2007

Includes bibliographical references (p. [253]-255) and index

出版国

スイス

標題言語

英語 (eng)

本文言語

英語 (eng)

原作言語

中国語 (chi)

著者情報

李, 未(1943-) (リ, ミ) [ *Li, Wei, 1943 June- ]

分類

DC22:511.3

件名

Logic, Symbolic and mathematical

ISBN

9783764399764

NCID

BB00501925

番号

NBN : 015109937

NBN : GBA937185

LCCN : 2009940118