國立虎尾科技大學 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Completeness theory for propositiona...

~

Pogorzelski, Witold.

Completeness theory for propositional logics /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Completeness theory for propositional logics // Witold A. Pogorzelski, Piotr Wojtylak.
作者:	Pogorzelski, Witold.
其他作者:	Wojtylak, Piotr.
出版者:	Basel ;Birkhauser, : c2008.,
面頁冊數:	viii 178 p. :ill. ; : 24 cm.;
叢書名:	Studies in universal logic
標題:	Completeness theorem. -
電子資源:	http://www.loc.gov/catdir/toc/fy0805/2008923069.html
ISBN:	3764385170 (pbk.)

Completeness theory for propositional logics /
Pogorzelski, Witold.

Completeness theory for propositional logics /Witold A. Pogorzelski, Piotr Wojtylak. - Basel ;Birkhauser,c2008. - viii 178 p. :ill. ;24 cm. - Studies in universal logic.

Includes bibliographical references (p. [165]-174) and indexes.

ISBN: 3764385170 (pbk.)

LCCN: 2008923069

Nat. Bib. No.: GBA777881bnb

Nat. Bib. Agency Control No.: 014016605UkSubjects--Topical Terms:

633611
Completeness theorem.

LC Class. No.: QA9.67 / .P64 2008

Dewey Class. No.: 511.3

Completeness theory for propositional logics /
LDR:01125cam 22002897a 4500 001 609002
005 20080820150810.0
008 090917s2008 sz a b 001 0 eng
010 $a 2008923069
015 $2 bnb $a GBA777881
016 7 $2 Uk $a 014016605
020 $a 3764385170 (pbk.)
020 $a 9783764385170 (pbk.)
035 $a (OCoLC)ocn166368205
040 $a UKM $c UKM $d BAKER $d BTCTA $d BWX $d DLC $d IXA $d NFU $d OCLCQ $d OHX $d OIP $d YDXCP
042 $a lccopycat
050 0 0 $a QA9.67 $b .P64 2008
082 0 4 $2 22 $a 511.3
100 1 $a Pogorzelski, Witold. $3 633610
245 1 0 $a Completeness theory for propositional logics / $c Witold A. Pogorzelski, Piotr Wojtylak.
260 $a Basel ; $a Boston : $c c2008. $b Birkhauser,
300 $a viii 178 p. : $b ill. ; $c 24 cm.
440 0 $a Studies in universal logic
504 $a Includes bibliographical references (p. [165]-174) and indexes.
650 0 $a Completeness theorem. $3 633611
700 1 $a Wojtylak, Piotr. $3 633612
856 4 1 $3 Table of contents only $u http://www.loc.gov/catdir/toc/fy0805/2008923069.html
906 $a 7 $b cbc $c copycat $d 2 $e ncip $f 20 $g y-gencatlg
925 0 $a acquire $b 2 shelf copies $x policy default
955 $a pc21 2008-02-14
955 $a jp00 2008-07-10 z-processor to ASCD/CCPT $e jx12 2008-07-26 to BCCD $i jx12 2008-07-26

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

E030466

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

511.3 P746 2008

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

多媒體

評論

新增評論分享你的心得

Export

取書館別

變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]

登入