Reasoning in Simple Type Theory
Editat de Christoph Benzmueller et al.
30 noi 2008
Paperback
Preț: 262.44 lei
6-8 săpt.
Cărți de Joerg Siekmann
Foundations of Mathematics I
Editat de Michael Gabbay et al.
28 noi 2011
Paperback
Preț: 175.79 lei
6-8 săpt.