Bounded Variable Logics and Counting.

Variable

von Martin Otto

Taschenbuch

ISBN-13: 978-3-540-62037-2

ISBN-10: 3-540-62037-0

Springer Verlag · 2013