John N. Crossley - Böcker

Visar alla böcker från författaren John N. Crossley.

5 produkter

Kategorier

5 produkter

Nyhet

What Is Mathematical Logic?

Av Guillermo Badia, John N. Crossley m. fl

Inbunden, Engelska, 2025

519 kr

Skickas inom 5-8 vardagar

Adapting Proofs-as-Programs

The Curry--Howard Protocol

Av Iman Poernomo, John N. Crossley m. fl

Inbunden, Engelska, 2005

2 049 kr

Skickas inom 10-15 vardagar

Logical Methods

In Honor of Anil Nerode’s Sixtieth Birthday

Av Crossley, John N. Crossley m. fl

Inbunden, Engelska, 1994

2 059 kr

Skickas inom 10-15 vardagar

Adapting Proofs-as-Programs

The Curry--Howard Protocol

Av Iman Poernomo, John N. Crossley m. fl

Häftad, Engelska, 2010

2 049 kr

Skickas inom 10-15 vardagar

Logical Methods

In Honor of Anil Nerode’s Sixtieth Birthday

Av John N. Crossley, Jeffrey B. Remmel m. fl

Häftad, Engelska, 2013

2 059 kr

Skickas inom 10-15 vardagar