Explore: Preuve
Discover books, insights, and more — all in one place.
Learn more about Preuve with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “preuve”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Kurt Gödel
By Kurt Gödel, Solomon Feferman, Parsons, Charles and Stephen G. Simpson

“Kurt Gödel” Metadata:
- Title: Kurt Gödel
- Authors: Kurt GödelSolomon FefermanParsons, CharlesStephen G. Simpson
- Language: English
- Number of Pages: Median: 373
- Publisher: Cambridge University Press
- Publish Date: 2010
- Publish Location: New York
“Kurt Gödel” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - Logic, symbolic and mathematical - Études diverses - Logique mathématique - Gödel, Kurt - Preuve - Théorie - Mathématiques
Edition Identifiers:
- The Open Library ID: OL40676222M - OL40379741M - OL24098947M - OL40501788M - OL34450958M
- Online Computer Library Center (OCLC) ID: 551196620
- Library of Congress Control Number (LCCN): 2010007117
- All ISBNs: ➤ 0511744560 - 9780511740947 - 0511740948 - 0521115140 - 9780521115148 - 0511750765 - 0511743475 - 9780511750762 - 9780511744563 - 9780511743474
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
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:
Online Marketplaces
Find Kurt Gödel at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Mathematische Grundlagen der Informatik
By Christoph Meinel

“Mathematische Grundlagen der Informatik” Metadata:
- Title: ➤ Mathematische Grundlagen der Informatik
- Author: Christoph Meinel
- Language: ger
- Number of Pages: Median: 335
- Publisher: Teubner
- Publish Date: 2009
- Publish Location: Wiesbaden
“Mathematische Grundlagen der Informatik” Subjects and Themes:
- Subjects: ➤ Informatique - Théorie des graphes - Preuve - Mathématiques - Théorie des ensembles - Logique mathématique - Algèbre de Boole
Edition Identifiers:
- The Open Library ID: OL27073579M
- Online Computer Library Center (OCLC) ID: 717018702
- All ISBNs: 9783834806666 - 3834806668
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Mathematische Grundlagen der Informatik at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.