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