Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

AvWilliam M Farmer

Häftad, Engelska, 2023

634 kr

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

Fler format och utgåvor

Häftad

862 kr

Inbunden

856 kr

Produktinformation

Utforska kategorier

Hoppa över listan

Mer från samma författare

Hoppa över listan

Du kanske också är intresserad av

  • Nyhet

Kött

David Szalay

Inbunden

259 kr

  • -30%
Del 2

Intrig i Amalfi

Anders de la Motte, Anette de la Motte

Pocket

69 kr99 kr