Cărți de S. Stenlund

Combinators, λ-Terms and Proof Theory

Synthese Library, nr. 42

Autor S. Stenlund

30 sep 1972

Preț: 641^.53 lei 754^.74 lei

43-57 zile

-15%

Logical Theory and Semantic Analysis: Essays Dedicated to STIG KANGER on His Fiftieth Birthday

Synthese Library, nr. 63

Editat de S. Stenlund et al.

30 iun 1974

Preț: 643^.65 lei 757^.24 lei

43-57 zile

-15%