Structural proof theory: with an appendix by Aarne Ranta

Tutkimustuotos: Kirja/raporttiKirjaTieteellinenvertaisarvioitu

Alkuperäiskielienglanti
KustantajaCambridge University Press
Sivumäärä274
ISBN (painettu)0-521-79307-6
TilaJulkaistu - 2001
OKM-julkaisutyyppiC1 Kustannettu tieteellinen erillisteos

Siteeraa tätä