Isbn: 9783832504489 - deep inference and symmetry in classical proofs (1 Ergebnisse)

Brunnler, Kai

Sprache: Englisch

Verlag: Logos Verlag Berlin, 2004

ISBN 10 / ISBN 13: 3832504486 / 9783832504489

Anbieter: ISD LLC, Bristol, CT, USAISD LLC, Bristol, CT, USA