Vissa av webbplatsens funktioner begränsas av dina webbläsarinställningar (t.ex. privat läge). Byt surfläge för att kunna lägga artiklar i varukorgen.

Jag förstår

Normalization, Cut-Elimination, and the Theory of Proofs 1

bokomslag Normalization, Cut-Elimination, and the Theory of Proofs

Normalization, Cut-Elimination, and the Theory of Proofs

A M Ungar

Klotband

859:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 11-22 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

248 sidor
1992

Författare: A M Ungar
Format: Klotband
ISBN: 9780937073834
Språk: Engelska
Antal sidor: 248
Utgivningsdatum: 1992-06-30
Förlag: Cambridge University Press