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