A first course in formal logic and its applications in computer science

＜図書＞
A first course in formal logic and its applications in computer science

責任表示	R.D. Dowsing, V.J. Rayward-Smith, C.D. Walter
シリーズ	Computer science texts
データ種別	図書
出版情報	Oxford ; Boston : Blackwell Scientific Publications , 1986
本文言語	英語
大きさ	vi, 265 p. : ill. ; 24 cm

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		理系図自動書庫	K/Dow	1986		068252187010397		予約・取寄		出庫可能	予約・取寄		出庫可能

別書名	異なりアクセスタイトル:Formal logic and its applications in computer science
一般注記	Bibliography: p. 259-260 Includes index
著者標目	*Dowsing, Roy Rayward-Smith, V. J. Walter, C. D.
件　名	LCSH:Logic, Symbolic and mathematical LCSH:Electronic data processing -- Mathematics 全ての件名で検索
分　類	LCC:QA9 DC19:511.3
書誌ID	1001135378
ISBN	0632013087
NCID	BA01397854
巻冊次	ISBN:0632013087
登録日	2009.09.17
更新日	2009.09.17