Omega-Bibliography of Mathematical Logic. Vol. VI: Proof Theory. Constructive Mathematics.

Kister, Jane E.; Dirk van Dalen; Anne S. Troelstra (eds.)

Edité par Springer Verlag, Berlin, Heidelberg, New York et. al., 1987

A propos de cet article

Org.-Hardcover. Quart, XLI, 405 S., einwandfreies, frisches Exemplar. [=Omega-Bibliography of Mathematical Logic. Edited by Gert H. Müller in Collaboration with Wolfgang Lenski. Vol. VI] - ENGLISH: In-quarto, xli, 405 pp., clean, fresh copy. ISBN 3-540-15524-4 UND 0-387-15524-4. [=Omega-Bibliography of Mathematical Logic. Edited by Gert H. Müller in Collaboration with Wolfgang Lenski. Vol. VI] - ENGLISH: In-quarto, xli, 405 pp., clean, fresh copy. ISBN 3-540-15524-4 UND 0-387-15524-4. 2000 g.

N° de réf. du vendeur 4509-0074

Détails bibliographiques

• Titre: Omega-Bibliography of Mathematical Logic. Vol. VI: Proof Theory. Constructive Mathematics.
• Éditeur: Springer Verlag, Berlin, Heidelberg, New York et. al., 1987
• Langue: anglais
• Catalogues du vendeur:
  • NATURWISSENSCHAFTEN und MEDIZIN seit 1500 - nat...