عنوان
پدید آورنده
موضوع
رده
QA 9.54 .W35 1990
QA
9
.
54
.
W35
1990
کتابخانه
محل استقرار
Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
Cambridge, Mass
MIT Press
c1990
]x[ 239p.: ill., tables
MIT Press series in artificial intelligence
Bibliography: p. ]228[-234
ISBN: 0262231441
Lincoln A. Wallen
1
، Proof theory
، Modality )Logic(
، Intuitionistic mathematics
QA
9
.
54
.
W35
1990
Wallen, Lincoln A.
AU
TI
SE Artificial intelligence series )MIT Press(
