このページのリンク

Logic : form and function : the mechanization of deductive reasoning / J.A. Robinson

所蔵情報を非表示

科学文化論(品)
116/R54 0187077266 128225

書誌詳細を非表示

出版情報 Edinburgh : University Press , c1979
大きさ vi, 312 p. : ill. ; 23 cm
一般注記 Bibliography: p. [300]-302
Includes index
著者標目  *Robinson, J. A. (John Alan)
件 名 LCSH:Form (Logic)
LCSH:Predicate calculus
LCSH:Reasoning
NDLSH:記号論理学
分 類 LCC:BC199.F6
DC:511/.3
NDC8:410.96
本文言語 英語
書誌ID TB10013875
ISBN 0852243057
NCID BA01465105
巻冊次 ISBN:0852243057 ; PRICE:£10.00
目次/あらすじ

 類似資料