Explore: Programvare
Discover books, insights, and more — all in one place.
Learn more about Programvare with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “programvare”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Hyperproof
By Barwise, Jon.
“Hyperproof” Metadata:
- Title: Hyperproof
- Author: Barwise, Jon.
- Language: English
- Number of Pages: Median: 255
- Publisher: CSLI Publications
- Publish Date: 1994
- Publish Location: Stanford, Calif
“Hyperproof” Subjects and Themes:
- Subjects: ➤ Macintosh (Computer) - Symbolic and mathematical Logic - Computer science - Hyperproof - Logic, symbolic and mathematical - Macintosh (computer) - Informatica - Macintosh-software - Wiskundige logica - Deduksjon - Symbolsk logikk - Programvare - Håndbøker (Form) - Macintosh - Informatique - Logique symbolique et mathématique - Macintosh (ordinateur) - Mathématiques - Logiciels - Logique de premier ordre
Edition Identifiers:
- The Open Library ID: OL18082130M
- Library of Congress Control Number (LCCN): 93030747
- All ISBNs: 1881526119 - 9781881526117
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Hyperproof at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.