An edition of Mathematisch-strukturelle Grundlagen der Informatik (2001)
By Hartmut Ehrig,Bernd Mahr,F. Cornelius,Martin Große-Rhode,P. Zeitz
Publish Date
2001
Publisher
Springer Berlin Heidelberg
Language
ger
Pages
-
Description:
subjects: Mengenlehre, Kategorientheorie, Algebraische Spezifikation, Aussagenlogik, Prädikatenlogik