عنوان
پدید آورنده
موضوع
رده
QA 281 .G28I5
QA
281
.
G28I5
کتابخانه
محل استقرار
Interpolation and definability
Oxford
Clarendon Press
2005-
v.: ill
1
Oxford logic guides; 64
Bibliography: v.1, p.484-502
ISBN: 0198511744 )v.1(
D. M. Gabbay, L. Maksimova
1
v. 1. Modal and intuitionistic logics
، Interpolation
، Modality )Logic(
، Definability theory )Mathematical logic(
QA
281
.
G28I5
Gabbay, Dov M., 5491-
AU
AU Maksimova, Larisa Lvovna
TI
SE
