Hoppa till sidans huvudinnehåll

John N. Crossley - Böcker

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

What Is Mathematical Logic?

AvGuillermo Badia,John N. Crossleym. fl.

Inbunden, Engelska, 2025

439 kr

Skickas inom 5-8 vardagar

Adapting Proofs-as-Programs

The Curry--Howard Protocol

AvIman Poernomo,John N. Crossleym. fl.

Inbunden, Engelska, 2005

2 079 kr

Skickas inom 10-15 vardagar

Logical Methods

In Honor of Anil Nerode’s Sixtieth Birthday

AvCrossley,John N. Crossleym. fl.

Inbunden, Engelska, 1994

2 079 kr

Skickas inom 10-15 vardagar

Adapting Proofs-as-Programs

The Curry--Howard Protocol

AvIman Poernomo,John N. Crossleym. fl.

Häftad, Engelska, 2010

2 079 kr

Skickas inom 10-15 vardagar

Del 12 - Progress in Computer Science and Applied Logic

Logical Methods

In Honor of Anil Nerode’s Sixtieth Birthday

AvJohn N. Crossley,Jeffrey B. Remmelm. fl.

Häftad, Engelska, 2013

2 079 kr

Skickas inom 10-15 vardagar

Ars musice

AvJohannes de Grocheio,John N. Crossley

Häftad, Engelska, 2011

319 kr

Tillfälligt slut