Flum, Jorg.
Overview
Works: | 2 works in 1 publications in 1 languages |
---|
Titles
Mathematical logic
by:
Ebbinghaus, Heinz-Dieter.; Flum, Jorg.; SpringerLink (Online service); Thomas, Wolfgang.
(Electronic resources)
Subjects
Mathematical Logic and Foundations.
Algorithm Analysis and Problem Complexity
Mathematics
Logic, Symbolic and mathematical.
Mathematics of Computing.
Computer software
Mathematical Logic and Foundations
Computer Science
Computer science
Logic design
Theory of Computation
Mathematical Logic and Formal Languages
Logic, Symbolic and mathematical
Information theory
Computation by Abstract Devices
Logics and Meanings of Programs