About this book series

This series changed its name, please follow this link: https://www.springer.com/series/16882 to get on the series with the updated name.

Progress in Computer Science and Applied Logic is a series that focuses on scientific work of interest to both logicians and computer scientists. Thus applications of mathematical logic to computer science as well as applications of computer science to mathematical logic will be topics of interest. An additional area of interest is the foundations of computer science. The series (previously known as Progress in Computer Science) publishes research monographs, graduate texts, polished lectures from seminars and lecture series, and proceedings of focused conferences in the above fields of interest

Edited by

  • Vijay Ganesh 
  • Ilias Kotsireas

In association with

  • Erika Abraham
  • Olaf Beyersdorff
  • Jasmin Blanchette
  • Armin Biere
  • Sam Buss
  • Matthew England
  • Jacques Fleuriot
  • Pascal Fontaine
  • Arie Gurfinkel
  • Marijn Heule
  • Reinhard Kahle
  • Phokion G. Kolaitis
  • Antonina Kolokolova
  • Ralph Matthes
  • Assia Mahboubi
  • Jakob Nordström
  • Prakash Panangaden
  • Kristin Yvonne Rozier
  • Thomas Studer
  • Cesare Tinelli
 

Discontinued series: although this series no longer publishes new content, the published titles listed here remain available.
Electronic ISSN
2297-0584
Print ISSN
2297-0576
Editor-in-Chief
  • Vijay Ganesh,
  • Ilias S. Kotsireas

Book titles in this series

  1. Temporal Type Theory

    A Topos-Theoretic Approach to Systems and Behavior

    Authors:
    • Patrick Schultz
    • David I. Spivak
    • Copyright: 2019

    Available Renditions

    • Hard cover
    • eBook
  2. Advances in Proof Theory

    Editors:
    • Reinhard Kahle
    • Thomas Strahm
    • Thomas Studer
    • Copyright: 2016

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook
  3. Mathematical Logic

    Foundations for Information Science

    Authors:
    • Wei Li
    • Copyright: 2014

    Available Renditions

    • Hard cover
    • eBook

Abstracted and indexed in

  1. zbMATH