logo
0

EbookBell.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link:  https://ebookbell.com/faq 


We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.


For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookBell Team

Metamath A Computer Language For Mathematical Proofs Norman Megill

  • SKU: BELL-50440782
Metamath A Computer Language For Mathematical Proofs Norman Megill
$ 31.00 $ 45.00 (-31%)

0.0

0 reviews

Metamath A Computer Language For Mathematical Proofs Norman Megill instant download after payment.

Publisher: Lulu Press
File Extension: PDF
File size: 1.1 MB
Author: Norman Megill, David A. Wheeler
ISBN: 9780359702237, 0359702236
Language: English
Year: 2019

Product desciption

Metamath A Computer Language For Mathematical Proofs Norman Megill by Norman Megill, David A. Wheeler 9780359702237, 0359702236 instant download after payment.

Metamath is a computer language and an associated computer program for archiving, verifying, and studying mathematical proofs.  The Metamath language is simple and robust, with an almost total absence of hard-wired syntax, and we believe that it provides about the simplest possible framework that allows essentially all of mathematics to be expressed with absolute rigor.  While simple, it is also powerful; the Metamath Proof Explorer (MPE) database has over 23,000 proven theorems and is one of the top systems in the “Formalizing 100 Theorems” challenge.  This book explains the Metamath language and program, with specific emphasis on the fundamentals of the MPE database.

Related Products

The Metadata Manual A Practical Workbook 1st Edition Rebecca L Lubas
-31%

The Metadata Manual A Practical Workbook 1st Edition Rebecca L Lubas

5.0

58 reviews
$45.00 $31.00
The Metadata Handbook A Book Publishers Guide To Creating And Distributing Metadata For Print And Ebooks 2nd Edition Register Renee Mcilroy Thad
-31%

The Metadata Handbook A Book Publishers Guide To Creating And Distributing Metadata For Print And Ebooks 2nd Edition Register Renee Mcilroy Thad

4.4

12 reviews
$45.00 $31.00
Data Model Patterns A Metadata Map 1st Edition David C Hay
-31%

Data Model Patterns A Metadata Map 1st Edition David C Hay

4.3

88 reviews
$45.00 $31.00
Information Brokering Across Heterogeneous Digital Data A Metadatabased Approach 1st Edition Vipul Kashyap
-31%

Information Brokering Across Heterogeneous Digital Data A Metadatabased Approach 1st Edition Vipul Kashyap

4.7

86 reviews
$45.00 $31.00
Sas Administration From The Ground Up Running The Sas9 Platform In A Metadata Server Environment Anja Fischer
-31%

Sas Administration From The Ground Up Running The Sas9 Platform In A Metadata Server Environment Anja Fischer

4.4

12 reviews
$45.00 $31.00
Sas Administration From The Ground Up Running The Sas9 Platform In A Metadata Server Environment Anja Fischer
-31%

Sas Administration From The Ground Up Running The Sas9 Platform In A Metadata Server Environment Anja Fischer

4.7

26 reviews
$45.00 $31.00
Jdbc Metadata Mysql And Oracle Recipes A Problem Solution Approach 1st Edition Mahmoud Parsian
-31%

Jdbc Metadata Mysql And Oracle Recipes A Problem Solution Approach 1st Edition Mahmoud Parsian

5.0

48 reviews
$45.00 $31.00
How To Build A Business Rules Engine Extending Application Functionality Through Metadata Engineering Malcolm Chisholm
-31%

How To Build A Business Rules Engine Extending Application Functionality Through Metadata Engineering Malcolm Chisholm

4.3

68 reviews
$45.00 $31.00
Online Gis And Spatial Metadata 2nd Ed 2nd Edition Terry Bossomaier
-31%

Online Gis And Spatial Metadata 2nd Ed 2nd Edition Terry Bossomaier

4.3

28 reviews
$45.00 $31.00