MPG.eBooks - Search Results - "mathematics logic and foundations"

Search alternatives:
"mathematics logic and foundations" » "mathematical logic and foundations"

Cover Image

1

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan Meetings

Published 2021

Springer Nature Singapore

Subjects: “...Mathematical Logic and Foundations...”