Logics for Computer Science: Classical and Non-Classical

Classical

von Anita Wasilewska

Gebunden

ISBN: 978-3-319-92590-5

ISBN-10: 3-319-92590-3

Springer · 2018