Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II
Klaus Ambos-Spies (auth.), Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas (eds.)Thể loại:
Năm:
1984
In lần thứ:
1
Nhà xuát bản:
Springer-Verlag Berlin Heidelberg
Ngôn ngữ:
english
Trang:
482
ISBN 10:
3540391193
ISBN 13:
9783540391197
Loạt:
Lecture Notes in Mathematics 1104
File:
PDF, 5.49 MB
IPFS:
,
english, 1984