Reasoning in Simple Type Theory
Editat de Christoph Benzmüller et al.
dec 2008
Paperback
Preț: 264.71 lei
6-8 săpt.
Cărți de Joerg Siekmann
Foundations of Mathematics I
Editat de Claus Peter Wirth et al.
29 noi 2011
Paperback
Preț: 177.38 lei
6-8 săpt.