Logic, Algebra, and Computation: International Summer School (Nato ASI Subseries F: (79))

von: Friedrich L. Bauer · F.L. Bauer · W. Brauer · G. Huet · J.A. Robinson · H. Schwichtenberg Gebunden Details (Deutschland) ISBN-13: 978-3-540-54315-2 ISBN-10: 3-540-54315-5 Springer · 1991