Please allow one business day for order processing.
Close this alert
Advances in Proof Theory (Progress in Computer Science and Applied Logic #28)
Current price:
$126.49
Publication Date: May 12th, 2016
Publisher:
Birkhauser
ISBN:
9783319291963
Pages:
425
Available in 3-7 business days
Other Books in Series
Bounded Queries in Recursion Theory (Progress in Computer Science and Applied Logic #16)
Hardcover
An Introduction to Quantum Computing Algorithms (Progress in Computer Science and Applied Logic #19)
Paperback
An Introduction to Quantum Computing Algorithms (Progress in Computer Science and Applied Logic #19)
Hardcover
Cryptographic Applications of Analytic Number Theory: Complexity Lower Bounds and Pseudorandomness (Progress in Computer Science and Applied Logic #22)
Hardcover
Coding, Cryptography and Combinatorics (Progress in Computer Science and Applied Logic #23)
Paperback
Cryptography and Computational Number Theory (Progress in Computer Science and Applied Logic #20)
Paperback
Perspectives in Computational Complexity: The Somenath Biswas Anniversary Volume (Progress in Computer Science and Applied Logic #26)
Hardcover
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic #29)
Hardcover
Automata Theory and Its Applications (Progress in Computer Science and Applied Logic #21)
Hardcover
Automata Theory and Its Applications (Progress in Computer Science and Applied Logic #21)
Paperback
Mathematical Logic: Foundations for Information Science (Progress in Computer Science and Applied Logic #25)
Hardcover
Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday (Progress in Computer Science and Applied Logic #12)
Paperback
A Graph-Theoretic Approach to Enterprise Network Dynamics (Progress in Computer Science and Applied Logic #24)
Hardcover
A Proof Theory for General Unification (Progress in Computer Science and Applied Logic #11)
Paperback
Feasible Mathematics II (Progress in Computer Science and Applied Logic #13)
Paperback
Bounded Queries in Recursion Theory (Progress in Computer Science and Applied Logic #16)
Paperback
Applied Probability-Computer Science: The Interface Volume 1 (Progress in Computer Science and Applied Logic #2)
Paperback
Learning and Geometry: Computational Approaches (Progress in Computer Science and Applied Logic #14)
Paperback
Applied Probability-Computer Science: The Interface Volume 1: Sponsored by Applied Probability Technical Section College of the Operations Research So (Progress in Computer Science and Applied Logic)
Paperback
