HOME > Detail View

Detail View

Propositional logic : deduction and algorithms

Propositional logic : deduction and algorithms (Loan 2 times)

Material type
단행본
Personal Author
Kleine Buning, H. (Hans) Lettman, Theodor.
Title Statement
Propositional logic : deduction and algorithms / Hans Kleine Buning, Theodor Lettman.
Publication, Distribution, etc
Cambridge [England] ;   New York :   Cambridge University Press,   1999.  
Physical Medium
x, 409 p. : ; 24 cm.
Series Statement
Cambridge tracts in theoretical computer science ; 48
ISBN
0521630177 (hardcover)
Bibliography, Etc. Note
Includes bibliographical references (p. 385-402) and index.
Subject Added Entry-Topical Term
Computer logic. Computer algorithms.
000 00976camuu2200277 a 4500
001 000000762699
005 20020329144739
008 980804s1999 enk b 001 0 eng
010 ▼a 98038806
020 ▼a 0521630177 (hardcover)
040 ▼a DLC ▼c DLC ▼d C#P ▼d UKM ▼d 211009
041 1 ▼a eng ▼h ger
049 1 ▼l 111211806
050 0 0 ▼a QA76.9.L63 ▼b P76 1999
082 0 0 ▼a 004/.01/5113 ▼2 21
090 ▼a 004.015113 ▼b K64p
100 1 ▼a Kleine Buning, H. ▼q (Hans)
245 1 0 ▼a Propositional logic : ▼b deduction and algorithms / ▼c Hans Kleine Buning, Theodor Lettman.
260 ▼a Cambridge [England] ; ▼a New York : ▼b Cambridge University Press, ▼c 1999.
300 ▼a x, 409 p. : ; ▼c 24 cm.
440 0 ▼a Cambridge tracts in theoretical computer science ; ▼v 48
504 ▼a Includes bibliographical references (p. 385-402) and index.
650 0 ▼a Computer logic.
650 0 ▼a Computer algorithms.
700 1 ▼a Lettman, Theodor.

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Main Library/Western Books/ Call Number 004.015113 K64p Accession No. 111211806 Availability Available Due Date Make a Reservation Service B M

New Arrivals Books in Related Fields