PX: A Computational Logic (Foundations of Computing)

Susumu Hayashi, Hiroshi Nakano

Published by The MIT Press
ISBN 10: 0262081741 / ISBN 13: 9780262081740
Used / Hardcover / Quantity Available: 0
Available From More Booksellers
View all  copies of this book

About the Book

We're sorry; this specific copy is no longer available. AbeBooks has millions of books. We've listed similar copies below.

Description:

Cover and pages show some wear from reading and storage. May have light creases on the cover and binding. Some pages may contain writing and or highlighting. Bookseller Inventory #

About this title:

Book ratings provided by Goodreads:
0 avg rating
(0 ratings)

Synopsis: The computational logic PX (Program eXtractor) is used to verify programs, extract programs from constructive proofs, and give foundations to type theories. While it is well known theoretically that programs can be extracted from constructive proofs, this study shows how it can be done in practice. The authors give a precise description of the formal theory of PX, its semantics, the mathematical foundation of program extraction using PX, and several methodologies and their theories of program extraction. They also describe an experimental implementation of PX.

Contents: Introduction. Formal System. Realizability. Writing Programs via proofs. PX as a foundation of type theories. Semantics. Implementing PX.

Susumu Hayashi is a research associate and Hiroshi Nakano a graduate student, both at the Research Institute of Mathematical Sciences at Kyoto University. PX: A Computational Logic is included in the Foundations of Computing series edited by Michael Garey and Albert Meyer.

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: PX: A Computational Logic (Foundations of ...
Publisher: The MIT Press
Binding: Hardcover
Book Condition: VERY GOOD

Top Search Results from the AbeBooks Marketplace

1.

Susumu Hayashi, Hiroshi Nakano
Published by The MIT Press (1988)
ISBN 10: 0262081741 ISBN 13: 9780262081740
Used Quantity Available: 1
Seller
Better World Books: West
(Reno, NV, U.S.A.)
Rating
[?]

Book Description The MIT Press, 1988. Book Condition: Very Good. Ships from Reno, NV. Former Library book. Great condition for a used book! Minimal wear. Bookseller Inventory # GRP96387219

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 6.47
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

2.

Susumu Hayashi, Hiroshi Nakano
Published by The MIT Press
ISBN 10: 0262081741 ISBN 13: 9780262081740
Used Hardcover Quantity Available: 1
Seller
Free Shipping Books
(Toledo, OH, U.S.A.)
Rating
[?]

Book Description The MIT Press. Hardcover. Book Condition: VERY GOOD. little to no wear, pages are clean. The cover and binding are crisp with next no creases. Bookseller Inventory # 2780985298

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 8.31
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

3.

Hayashi, Susumu; Nakano, Hiroshi
Published by The MIT Press
ISBN 10: 0262081741 ISBN 13: 9780262081740
Used Hardcover Quantity Available: 1
Seller
Rating
[?]

Book Description The MIT Press. Hardcover. Book Condition: Good. 0262081741 Bumped and creased book with tears to the extremities, but not affecting the text block and a remainder mark to one edge - Good. Bookseller Inventory # Z0262081741Z3

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 12.00
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

4.

Hayashi, Susumu; Nakano, Hiroshi
Published by M I T Press (1988)
ISBN 10: 0262081741 ISBN 13: 9780262081740
Used First Edition Quantity Available: 1
Seller
Technical Book Store
(Malabar, FL, U.S.A.)
Rating
[?]

Book Description M I T Press, 1988. 1st. Bookseller Inventory # 015364

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 14.00
Convert Currency

Add to Basket

Shipping: US$ 5.00
Within U.S.A.
Destination, Rates & Speeds

5.

Hayashi, Susumu
ISBN 10: 0262081741 ISBN 13: 9780262081740
Used Hardcover Quantity Available: 1
Seller
Kloof Booksellers & Scientia Verlag
(Amsterdam, Netherlands)
Rating
[?]

Book Description Cambridge, MA:. The MIT Press, 1988. Hardcover. 216 pp.- The computational logic PX (Program eXtractor) is used to verify programs, extract programs from constructive proofs, and give foundations to type theories. While it is well known theoretically that programs can be extracted from constructive proofs, this study shows how it can be done in practice. The authors give a precise description of the formal theory of PX, its semantics, the mathematical foundation of program extraction using PX, and several methodologies and their theories of program extraction. They also describe an experimental implementation of PX. English text. Condition : as new. Condition : as new copyISBN 9780262081740[KEYWORDS: computer studies, nopictures*. Bookseller Inventory # 263680

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 13.32
Convert Currency

Add to Basket

Shipping: US$ 10.58
From Netherlands to U.S.A.
Destination, Rates & Speeds

6.

Susumu Hayashi
ISBN 10: 0262081741 ISBN 13: 9780262081740
Used Quantity Available: 1
Seller
Castle Rock
(Pittsford, NY, U.S.A.)
Rating
[?]

Book Description Book Condition: Good. Book Condition: Good. Bookseller Inventory # 97802620817404.0

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 21.78
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

7.

Susumu Hayashi
Published by The MIT Press (1988)
ISBN 10: 0262081741 ISBN 13: 9780262081740
Used Hardcover First Edition Quantity Available: 1
Seller
Books Express
(Portsmouth, NH, U.S.A.)
Rating
[?]

Book Description The MIT Press, 1988. Hardcover. Book Condition: Good. 1st. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. Buy with confidence, excellent customer service!. Bookseller Inventory # 0262081741

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 94.42
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

8.

Susumu Hayashi; Hiroshi Nakano
Published by The MIT Press (1988)
ISBN 10: 0262081741 ISBN 13: 9780262081740
New Hardcover First Edition Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description The MIT Press, 1988. Hardcover. Book Condition: New. book. Bookseller Inventory # M0262081741

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 172.40
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds