-
1
Computation and Proof Theory Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II
Veröffentlicht 1984Weitere Verfasser: DE-12
DE-634
DE-526
DE-210
DE-521
DE-1046
DE-Aug4
DE-573
DE-M347
DE-859
DE-860
DE-523
DE-70
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-706
DE-29
DE-739
Volltext
Elektronisch E-Book