商品詳細 | Knowledge Worker

Logic and Structure.　3. Aufl.(Universitext)　paper　X, 217 S.

絶版
価格 \21,220（税込）

発行年月	1997年01月
出版社／提供元	Springer-Verlag GmbH
出版国	ドイツ
言語	英語
媒体	冊子
装丁	paper
ページ数／巻数	X, 217 S.
ジャンル	洋書
ISBN	9783540578390
商品コード	0209430264
商品URL	https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209430264

内容

Universitext

Contents: Introduction; Propositional Logic; Predicate Logic;Completeness and Applications; Second Order Logic; Intuitionistic Logic;Normalisation.

カート

カートに商品は入っていません。