Explore: Px
Discover books, insights, and more — all in one place.
Learn more about Px with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “px”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1PX, a computational logic
By Susumu Hayashi
“PX, a computational logic” Metadata:
- Title: PX, a computational logic
- Author: Susumu Hayashi
- Language: English
- Number of Pages: Median: 200
- Publisher: MIT Press
- Publish Date: 1988
- Publish Location: Cambridge, Mass
“PX, a computational logic” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - Automatic theorem proving - Démonstration automatique - Logique symbolique et mathématique - Théorèmes - PX - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL2527509M
- Online Computer Library Center (OCLC) ID: 17506282
- Library of Congress Control Number (LCCN): 88002770
- All ISBNs: 9780262081740 - 0262081741
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find PX, a computational logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.