こちらに共通ヘッダが追加されます。
検索結果一覧に戻る

この情報を出力する

このページのリンク

他の検索サイト

An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews
(Computer science and applied mathematics)

データ種別 図書
出版者 Orlando ; Tokyo : Academic Press
出版年 1986
大きさ xv, 304 p. ; 24 cm

所蔵情報を非表示

理工学部 情報系
410.96||A498 932022703


書誌詳細を非表示

書誌ID BB00003568
本文言語 英語
別書名 An introduction to mathematical logic & type theory
一般注記 Bibliography: p. 293-295
Includes index
著者標目  *Andrews, P. B. (Peter Bruce), 1937-
件　名 LCSH:Logic, Symbolic and mathematical
LCSH:Type theory
分　類 LCC:QA9
DC19:511.3
巻冊次 ISBN:0120585359 RefWorks出力（各巻）
: pbk. ; ISBN:0120585367 RefWorks出力（各巻）
NCID BA00263706
目次・あらすじ

 類似資料

検索結果一覧に戻る