We a good story
Quick delivery in the UK

Books in the Progress in Computer Science and Applied Logic series

Filter
Filter
Sort bySort Series order
  •  
    £93.99

    The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.