Hoppa till sidans huvudinnehåll

John N. Crossley – författare

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

What Is Mathematical Logic?

AvGuillermo Badia,John N. Crossleym. fl.

Inbunden, Engelska, 2025

429 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

Guy of Saint-Denis, Tractatus de tonis

AvMedieval Institute Publications,John N. Crossley

Häftad, Engelska, 2017

369 kr

Skickas inom 5-8 vardagar

Guy of Saint-Denis, Tractatus de tonis

AvMedieval Institute Publications,John N. Crossley

Inbunden, Engelska, 2017

919 kr

Skickas inom 5-8 vardagar

Ars musice

AvJohannes de Grocheio,John N. Crossley

Häftad, Engelska, 2011

329 kr

Tillfälligt slut