このページのリンク

他の検索サイト

Aspects of incompleteness / Per Lindström
(Lecture notes in logic ; 10)

所蔵情報を非表示

科学文化論(品)
410.1/L63 1997027526 199702752

書誌詳細を非表示

出版情報 Berlin ; Tokyo : Springer , c1997
大きさ x, 132 p. ; 24 cm
一般注記 Bibliography: p. [125]-129
Includes index
著者標目  *Lindström, Per, 1936-
件　名 LCSH:Incompleteness theory
LCSH:Recursion theory
分　類 DC20:511.3
本文言語 英語
書誌ID TY00010522
ISBN 3540632131
NCID BA32352329
巻冊次 ISBN:3540632131
目次／あらすじ

 類似資料