Hopp til hovedinnhold

Oppdatert 30.1. Klikk her for info om bokleveranser, faktura og nettbutikk

Omslagsbilde

Proof Theory : A selection of papers from the Leeds Proof Theory Programme 1990

Simmons, Harold Wainer, Stanley S. Aczel, Peter

Innbundet

Produseres på bestilling

Leveringstid: 2-4 uker

Handlinger

Beskrivelse

Omtale

A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.

Detaljer