Número de Cutter-SanbornL533mEntrada «Leit» → 533 · marca de obra “m”

Methods of Cut-Elimination

Name: Methods of Cut-Elimination
ISBN: 9789400703193

Autor	Alexander Leitsch
Editorial	Springer Science+Business Media B.V.
Fecha de publicación	2011
Lugar	Dordrecht
Idioma	inglés
Formato	[electronic resource] /
ISBN-13	9789400703193, 9789400703209
Serie	Trends in Logic -- 34
Número de Cutter	`L533m`

Methods of Cut-Elimination (2011) — ISBN 9789400703193 | Cutter Number