[Omega]-bibliography of mathematical logic
By: edited by Gert H. Mu ller in collaboration with Wolfgang Lenski. Vol.6, Proof theory Constructive Mathematics / Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors).
Contributors: Mu ller, Gert Heinz.; Lenski, Wolfgang.; Kister, Jane E.; Dalen, Dirk van.; Troelstra, Anne S.
Series: Perspectives in mathematical logic
Publisher: Springer-Verlag
Published: 1987
Place of publication: Berlin
Language: eng