Space in Weak Propositional Proof Systems - Bonacina - Books - Springer International Publishing AG - 9783319734521 - January 24, 2018
In case cover and title do not match, the title is correct

Bonacina
Space in Weak Propositional Proof Systems 1st ed. 2017 edition

Get an email once the item is available
Do you have a profile? Log in

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This book considers logical proof systems from the point of view of their space complexity.

130 pages, 8 Illustrations, color; 7 Illustrations, black and white; XVII, 130 p. 15 illus., 8 illus

Media Books     Book
Released January 24, 2018
ISBN13 9783319734521
Publishers Springer International Publishing AG
Pages 130
Dimensions 150 × 220 × 20 mm   ·   390 g

See all of Bonacina ( e.g. Book )