S.R. Buss

Filtre: Calculatoare şi IT

S.R. Buss

Handbook of Proof Theory

Studies in Logic and the Foundations of Mathematics, nr. 137

Editat de S.R. Buss

8 iul 1998

Preț: 740^.61 lei 1382^.60 lei

5-7 săpt.

-46%

Feasible Mathematics: A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989

Progress in Computer Science and Applied Logic, nr. 9

Autor S.R. Buss et al.

1990

Preț: 318^.17 lei 397^.71 lei

6-8 săpt.

-20%