國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Completeness theory for propositiona...

~

Pogorzelski, Witold.

Completeness theory for propositional logics /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Completeness theory for propositional logics // Witold A. Pogorzelski, Piotr Wojtylak.
Author:	Pogorzelski, Witold.
other author:	Wojtylak, Piotr.
Published:	Basel ;Birkhauser, : c2008.,
Description:	viii 178 p. :ill. ; : 24 cm.;
Series:	Studies in universal logic
Subject:	Completeness theorem. -
Online resource:	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

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

E030466

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

511.3 P746 2008

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login