Antikvaari
KauppiaatAsiakaspalveluKirjaudu

Proofs and types

Jean-Yves Girard

Kirjasarja: Cambridge tracts in theoretical computer science

Ei tuotekuvaa

Kirjoita arvostelu

Ehdotettu tuote

Girard Jean-Yves - Lafont Yves - Taylor Paul

Proofs and Types

80,00 €

Toimitus Suomeen 6,90 €

Yhteensä 86,90 €

Käytetty - erinomainen (K4)

Sidottu, kuvakannet

1993 / Reprinted

Antikvaarinen Kirjakauppa Johannes

Haetaan tuotteita...











Tiedot

Kustantaja/julkaisija

Cambridge University Press

Sidosasu

Sidottu

ISBN

0521371813

9780521371810

Kieli

englanti

Alkuperäinen nimi

-

Tuotekategoriat

-