Proof Theory and Automated Deduction Applied Logic Series, nr. 6 Autor Jean Goubault-Larrecq et al. 30 noi 2001 Paperback Preț: 381.55 lei 43-57 zile