Progress in Computer Science and Applied Logic

Kahle / Strahm / Studer

Advances in Proof Theory

Advances in Proof Theory

Advances in Proof Theory

2016eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-319-29198-7

Agrawal / Arvind

Perspectives in Computational Complexity

Perspectives in Computational Complexity

Perspectives in Computational Complexity

The Somenath Biswas Anniversary Volume

The Somenath Biswas Anniversary Volume

2014eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-319-05446-9

Schultz / Spivak

Temporal Type Theory

Temporal Type Theory

Temporal Type Theory

A Topos-Theoretic Approach to Systems and Behavior

A Topos-Theoretic Approach to Systems and Behavior

2019eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-00704-1

Li

Mathematical Logic

Mathematical Logic

Mathematical Logic

Foundations for Information Science

Foundations for Information Science

2nd ed. 20142014eBook (PDF mit Wasserzeichen)Birkhäuser BaselISBN 978-3-0348-0862-0

2nd ed. 2014