عنوان
پدید آورنده
موضوع
رده
QA 9.2 .W48 1994
QA
9
.
2
.
W48
1994
کتابخانه
محل استقرار
English
What is a logical system?
Oxford
Clarendon Press
1994
x, 454 p.: ill.; 25 cm
Studies in logic and computation ;4
Includes bibliographical references and index.
edited by D.M. Gabbay
1
، Logic, Symbolic and mathematical
، Computer science
511
.
3
QA
9
.
2
.
W48
1994
TI
AU Gabbay, Dov M. 1945-
SE
