|
Tag
Ind#1
Ind#2
Name
020
/a0137263651 (alk. paper)
040
/aLOC
090
0
0
/aQA76/b.G223 1998
100
1
/aGabbay, Dov M./d1945-
245
1
0
/aElementary logics/ba procedural perspective/cDov Gabbay
264
/aLondon/bPrentice Hall Europe/c1998
300
/axi, 365 p./bill./c24 cm
490
0
/aPrentice Hall series in computer science
504
/aIncludes bibliographical references and index.
650
0
/aComputer science.
650
0
/aLogic, Symbolic and mathematical.