Synopsis
Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.
"synopsis" may belong to another edition of this title.
About the Author
Dale Miller is Director of Research at INRIA Saclay-Île-de-France. He has been a professor at the University of Pennsylvania, Pennsylvania State University, and the École Polytechnique in France. He served as Editor-in-Chief of the 'ACM Transactions on Computational Logic' and has received an ERC Advanced Investigators Grant, the LICS Test-of-Time Award (twice), and the Dov Gabbay Prize for Logic and Foundations. He is an ACM Fellow.
"About this title" may belong to another edition of this title.
Search results for Proof Theory and Logic Programming: Computation as...
Stock Image
Proof Theory And Logic Programming
Published by
Cambridge University Press, 2025
ISBN 10: 1009561294
ISBN 13: 9781009561297
New
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 50875707-n
Stock Image
Proof Theory and Logic Programming: Computation as Proof Search
Published by
Cambridge University Press, 2025
ISBN 10: 1009561294
ISBN 13: 9781009561297
New
Hardcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9781009561297
Stock Image
Proof Theory And Logic Programming
Published by
Cambridge University Press, 2025
ISBN 10: 1009561294
ISBN 13: 9781009561297
Used
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 50875707
Stock Image
Proof Theory And Logic Programming: Computation As Proof Search
Published by
Cambridge University Press, 2025
ISBN 10: 1009561294
ISBN 13: 9781009561297
New
Hardcover
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. In Stock. This item is printed on demand. Seller Inventory # __1009561294
Buy New
US$ 85.82
US$ 16.84 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Proof Theory And Logic Programming
Published by
Cambridge University Press, 2025
ISBN 10: 1009561294
ISBN 13: 9781009561297
New
Hardcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 50875707-n
Buy New
US$ 95.51
US$ 20.20 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Proof Theory And Logic Programming
Published by
Cambridge University Press, 2025
ISBN 10: 1009561294
ISBN 13: 9781009561297
Used
Hardcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 50875707
Buy Used
US$ 100.40
US$ 20.20 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Proof Theory and Logic Programming: Computation as Proof Search
Published by
Cambridge University Press, 2025
ISBN 10: 1009561294
ISBN 13: 9781009561297
New
Hardcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26404317421
Stock Image
Proof Theory and Logic Programming: Computation as Proof Search
Published by
Cambridge University Press, 2025
ISBN 10: 1009561294
ISBN 13: 9781009561297
New
Hardcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 409918258
Buy New
US$ 120.72
US$ 8.75 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Proof Theory and Logic Programming: Computation as Proof Search
Published by
Cambridge University Press, 2025
ISBN 10: 1009561294
ISBN 13: 9781009561297
New
Hardcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18404317415
Buy New
US$ 131.11
US$ 11.71 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Stock Image
Proof Theory And Logic Programming: Computation As Proof Search
Published by
Cambridge University Press, 2025
ISBN 10: 1009561294
ISBN 13: 9781009561297
New
Hardcover
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 334 pages. 6.00x0.75x9.00 inches. In Stock. Seller Inventory # x-1009561294
Buy New
US$ 126.06
US$ 16.84 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available