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

Brunnler, Kai

Lingua: Inglese

Editore: Logos Verlag Berlin, 2004

ISBN 10 / ISBN 13: 3832504486 / 9783832504489

Da: ISD LLC, Bristol, CT, U.S.A.ISD LLC, Bristol, CT, U.S.A.