Search alternatives:
22mathematical logic » mathematical logic, mathematics logic, mathematical logical
Cover Image
Read Now

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

2
by Balcazar, Jose L., Diaz, Josep, Gabarro, Joaquim
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... Remarks -- 3 Time and Space Bounded Computations -- 2.1 Introduction -- 2.2 Orders of Magnitude -- 2.3...”
Cover Image
Read Now

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

4
Published 2017
Springer International Publishing
Table of Contents: “...Type Theory and Formalization of Mathematics -- Advances in Parameterized Verification...”
Cover Image
Read Now

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

6
Published 2017
Springer International Publishing
Table of Contents: “... Department -- Some Questions in Computable Mathematics -- Introduction to Autoreducibility and Mitoticity...”
Cover Image
Read Now

7
by Harrison, John
Published 1998
Springer London
Table of Contents: “... algebra systems -- 8.5 Verification applications -- 8.6 Concluding remarks -- A. Logical foundations...”