Book titles in this series

Temporal Type Theory

A Topos-Theoretic Approach to Systems and Behavior

Authors:

• Patrick Schultz
• David I. Spivak

• Copyright: 2019

Available Renditions

• Hard cover
• eBook

Advances in Proof Theory

Editors:

• Reinhard Kahle
• Thomas Strahm
• Thomas Studer

• Copyright: 2016

Available Renditions

• Hard cover
• Soft cover
• eBook

Perspectives in Computational Complexity

The Somenath Biswas Anniversary Volume

Editors:

• Manindra Agrawal
• Vikraman Arvind

• Copyright: 2014

Available Renditions

• Hard cover
• Soft cover
• eBook

Mathematical Logic

Foundations for Information Science

Authors:

• Wei Li

• Copyright: 2014

Available Renditions

• Hard cover
• eBook

Notes on Introductory Combinatorics

Authors:

• George Polya
• Robert E. Tarjan
• Donald R. Woods

• Copyright: 1983

Available Renditions

• Soft cover
• eBook

Graph-Based Proof Procedures for Horn Clauses

Authors:

• RAATZ

• Copyright: 1990

Available Renditions

• Soft cover
• eBook

Lecture Notes on Bucket Algorithms

Authors:

• DEVROYE

• Copyright: 1986

Available Renditions

• Soft cover
• eBook

Cryptographic Applications of Analytic Number Theory

Complexity Lower Bounds and Pseudorandomness

Authors:

• Igor Shparlinski

• Copyright: 2003

Available Renditions

• Hard cover
• Soft cover
• eBook

Bounded Queries in Recursion Theory

Authors:

• William Levine
• Georgia Martin

• Copyright: 1999

Available Renditions

• Hard cover
• Soft cover
• eBook

Real-Time Control of Walking

Authors:

• M.D. Donner

• Copyright: 1987

Available Renditions

• Soft cover
• eBook