Proof Methods for Modal and Intuitionistic Logics Synthese Library, nr. 169 Autor M. Fitting 25 dec 2010 Paperback Preț: 1180.37 lei 1439.48 lei 6-8 săpt. -18%
First-Order Modal Logic Synthese Library, nr. 277 Autor M. Fitting et al. 31 aug 1999 Paperback Preț: 1326.98 lei 1618.27 lei 6-8 săpt. -18%