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

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

Editore: Springer Verlag, Berlin, Heidelberg, New York et. al., 1987

Riguardo questo articolo

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.

Codice articolo 4509-0074

Dati bibliografici

• Titolo: Omega-Bibliography of Mathematical Logic. Vol. VI: Proof Theory. Constructive Mathematics.
• Editore: Springer Verlag, Berlin, Heidelberg, New York et. al., 1987
• Lingua: Inglese
• Cataloghi dei venditori:
  • NATURWISSENSCHAFTEN und MEDIZIN seit 1500 - nat...