1 - 6 of 6 results for "Wolfgang Thomas"

Title: Mathematical Logic / Edition 2, Author: H.-D. Ebbinghaus
Title: STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings, Author: Wolfgang Thomas
Title: Insight Compact Guide Rome (1998), Author: Insight Publications
Title: Einfuhrung in die mathematische Logik / Edition 5, Author: Heinz-Dieter Ebbinghaus
Title: Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceeding / Edition 1, Author: Wolfgang Thomas
Title: Mathematical Logic, Author: H.-D. Ebbinghaus