Filtre: Paperback F. D. Kamareddine

Applied Logic Series

Thirty Five Years of Automating Mathematics

Applied Logic Series, nr. 28

Editat de F. D. Kamareddine

22 oct 2010

Preț: 615^.40 lei 724^.00 lei

43-57 zile

-15%

A Modern Perspective on Type Theory

Applied Logic Series, nr. 29

Autor F. D. Kamareddine et al.

22 oct 2010

Preț: 752^.69 lei 917^.91 lei

43-57 zile

-18%