MPG.eBooks - Search Results - "Logic"

Cover Image

1

Mathematical Logic

by Ebbinghaus, H.-D., Flum, J., Thomas, Wolfgang
Published 1994

Springer New York

Subjects: “...Mathematical logic...”

Cover Image

2

Mathematical Logic

by Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang
Published 2021

Springer International Publishing

Subjects: “...Mathematical logic...”

Cover Image

3

Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers

by Nielsen, Mogens
Published 1998

Springer Berlin Heidelberg

Subjects: “...Logic design...”

Cover Image

4

Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers

Published 1998

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

5

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 So...

by Thomas, Wolfgang
Published 1999

Springer-Verlag Berlin Heidelberg

Subjects: “...Logic design...”

Cover Image

6

STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

7

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 S...

Published 1999

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

8

STACS 2006 : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”