Proof Theory and Automated Deduction Applied Logic Series, nr. 6 Autor Jean Goubault-Larrecq et al. 30 noi 2001 Paperback Preț: 388.66 lei 6-8 săpt.