Search alternatives:
22mathematical logic » mathematical logic, mathematics logic, mathematical logical
22mathematical logic » mathematical logic, mathematics logic, mathematical logical
|
by Ehrig, Hartmut, Mahr, Bernd, Cornelius, Felix, Große-Rhode, Martin
Published 1999
Table of Contents:
“.... Kategorielle Grundlagen -- 22. Kategorien in Mathematik und Informatik -- 23. Isomorphie, Mono- und...”Published 1999
Springer Berlin Heidelberg
|
by Ehrig, Hartmut, Mahr, Bernd, Cornelius, F., Große-Rhode, Martin
Published 2001
Table of Contents:
“... Umbenennung -- 22. Prädikatenlogische Hilbert-Kalküle -- 23. Ausblick -- 24. Kategorien in Mathematik und...”Published 2001
Springer Berlin Heidelberg