(eBook/PDF) On The Metamathematics Of Algebra Online

Language: en
Pages: 250

Metamath: A Computer Language for Mathematical Proofs

Authors: Norman Megill

Categories: Computers

Type: BOOK - Published: 2019 - Publisher: Lulu.com

Metamath is a computer language and an associated computer program for archiving, verifying, and studying mathematical proofs. The Metamath language is simple a

Language: en
Pages: 436

Mathematical Logic

Authors: Stephen Cole Kleene

Categories: Mathematics

Type: BOOK - Published: 2013-04-22 - Publisher: Courier Corporation

DOWNLOAD EBOOK

Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others