The computational logic PX (Program eXtractor) is used to verify programs, extract programs from constructive proofs, and give foundations to type theories.
Read More
The computational logic PX (Program eXtractor) is used to verify programs, extract programs from constructive proofs, and give foundations to type theories.
Read Less
Add this copy of Px: a Computational Logic (Foundations of Computing to cart. $21.41, good condition, Sold by ThriftBooks-Atlanta rated 5.0 out of 5 stars, ships from Austell, GA, UNITED STATES, published 1988 by Mit Pr.
Add this copy of Px: a Computational Logic (Foundations of Computing to cart. $62.00, very good condition, Sold by Lavendier Books rated 5.0 out of 5 stars, ships from Foster, RI, UNITED STATES, published 1988 by Mit Pr.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. Size: 2x0x1; The MIT Press; Cambridge, 1988. Hardcover. Review Copy with review slip laid in. A Very Good, binding sturdy and intact, some handling/scuffing to boards, bit of age toning to pages, small tear bottom front joint binding, some rubbing along board edges, without Dust wrapper. A nice, clean and unmarked copy. 8vo[octavo or approx. 6 x 9 inches]. 200pp., references, indexed. We pack securely and ship daily with delivery confirmation on every book. Please Note: Depending on site, actual book for sale may differ physically from picture listed. Additional scan(s) are available for any item, please inquire.
Add this copy of Px: a Computational Logic (Foundations of Computing to cart. $68.96, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1988 by Mit Pr.
