MPG.eBooks - Search Results - "mathematical logic and formal language"

Search alternatives:
"mathematical logic and formal language" » "mathematical logic and formal languages", "mathematics logic and formal language"

Cover Image

1

Theoretical Aspects of Computer Software : Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings

by Abadi, Martin
Published 1997

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”