Cover Image
Read Now

1
by Mignotte, Maurice
Published 1992
Springer New York
Subjects: “...Mathematical Logic and Foundations...”
Cover Image
Read Now

2
Published 2011
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

3
Published 2013
Springer International Publishing
Table of Contents: “...Preface -- Henk Barendregt: Foundations of Mathematics from the Perspective of Computer...”
Cover Image
Read Now

4
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... -- Definability and Transformations for Cost Logics and Automatic Structures -- Generalised Lyndon-Schützenberger...”
Cover Image
Read Now

5
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Circuits -- Detecting Regularities on Grammar-Compressed Strings -- An Unusual Temporal Logic...”
Cover Image
Read Now

6
Published 2015
Springer Berlin Heidelberg
Subjects: “...Computer science / Mathematics...”
Cover Image
Read Now

7
Published 2015
Springer Berlin Heidelberg
Subjects: “...Computer science / Mathematics...”
Cover Image
Read Now

8
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... Logic -- Computational Complexity of Covering Three-Vertex Multigraphs -- Finding Maximum Common...”
Cover Image
Read Now

9
Published 2012
Springer Berlin Heidelberg
Subjects: “...Computer science / Mathematics...”
Cover Image
Read Now

10
Published 2012
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

11
by Leitsch, Alexander
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...The Basis of the Resolution Calculus -- First-Order Logic -- Transformation to Clause Form -- Term...”
Cover Image
Read Now

12
by Rösnick, Carsten
Published 2015
Springer Fachmedien Wiesbaden
Subjects: “...Mathematical Logic and Foundations...”
Cover Image
Read Now

13
by Balcazar, Jose L., Diaz, Josep, Gabarro, Joaquim
Published 1995
Springer Berlin Heidelberg
Subjects: “...Mathematical Logic and Foundations...”
Cover Image
Read Now

14
by Benninghofen, Benjamin, Kemmerich, Susanne, Richter, Michael M.
Published 1987
Springer Berlin Heidelberg
Subjects: “...Mathematical Logic and Foundations...”
Cover Image
Read Now

15
Published 1986
Springer New York
Table of Contents: “...: Mathematical Evolution of a Genetical Model -- Combinatorics and Applied Mathematics -- Applied Logic -- Pure...”
Cover Image
Read Now

16
Published 2012
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

17
Published 2011
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

18
Published 2018
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

19
Published 2012
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

20
Published 2015
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”