III · Science
Thirty Five Years of Automating Mathematics (Applied Logic Series)
Subjects
Automatic theorem proving · Proof theory · Formal languages · AUTOMATH (Formal language) · Symbolic and mathematical Logic · Mathematics
Language
ENG
Free download
Download "Thirty Five Years of Automating Mathematics (Applied Logic Series)"
PDF·EPUB·MOBI·TXT
No signup. No fees. Yours to keep.




![Cover of [William Wheeler Hubbell, authorized to apply for patents.] by United States. Congress. Senate. Committee on Patents](/img/cover/10200621-M.jpg)
