Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics (6), Band 6)

von Hans Hermes Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-540-04899-2 ISBN-10: 3-540-04899-5 Springer Berlin Heidelberg · 2008