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