Reasoning in Simple Type Theory

Festschrift in Honor of Peter B. Andrews on His 70th Birthday

AvChristoph Benzmueller,Chad E Brown

Häftad, Engelska, 2008

306 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

  • Nyhet

Sallad!

Danyel Couet

Kartonnage

279 kr