A Proof Theory for… Progress in Computer Science and Applied Logic, nr. 11 Autor W. Snyder noi 1991 Hardback Preț: 333.54 lei 416.93 lei 43-57 zile -20%