このページのリンク

Choice sequences : a chapter of intuitionistic mathematics / by A.S. Troelstra
(Oxford logic guides)

所蔵情報を非表示

科学文化論(品)
410.1/Tr6 018707836X 119210

書誌詳細を非表示

出版情報 Oxford [Eng.] : Clarendon Press , 1977
大きさ ix, 170 p. ; 25 cm
一般注記 Bibliography: p. [161]-167
Includes index
著者標目  *Troelstra, A. S. (Anne Sjerp)
件 名 LCSH:Intuitionistic mathematics
LCSH:Sequences (Mathematics)
分 類 LCC:QA9.47
DC:511/.2
本文言語 日本語
書誌ID TB10014156
ISBN 019853163X
NCID BA04609879
巻冊次 ISBN:019853163X ; PRICE:£4.95
目次/あらすじ

 類似資料