Automated Reasoning in Higher-order Logic

Set Comprehension and Extensionality in Church's Type Theory

AvChad E. Brown

Häftad, Engelska, 2007

306 kr

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

Produktinformation

Utforska kategorier

Hoppa över listan

Mer från samma författare

Hoppa över listan

Du kanske också är intresserad av

  • Nyhet

Sallad!

Danyel Couet

Kartonnage

279 kr

  • Nyhet

Kött

David Szalay

Inbunden

259 kr