COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
Editat de Per Martin-Löf et al.
21 feb 1990
Paperback
Preț: 322.43 lei 403.04 lei
6-8 săpt.
-20%
Cărți de Grigori Mints
A Short Introduction to Intuitionistic Logic
Autor Grigori Mints
26 apr 2013
Paperback
Preț: 895.86 lei 1092.51 lei
6-8 săpt.
-18%