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.)种类:
年:
1984
出版:
1
出版社:
Springer-Verlag Berlin Heidelberg
语言:
english
页:
482
ISBN 10:
3540391193
ISBN 13:
9783540391197
系列:
Lecture Notes in Mathematics 1104
文件:
PDF, 5.49 MB
IPFS:
,
english, 1984