Metamath A Computer Language For Pure Mathematics

by Norman Megill

$38 · Offered by Second Story Books

Morrisville: Lulu Press, 2007. Octavo, xvi, 195 pages. In Very Good condition. Paperback binding. Spine green with yellow lettering. Covers have very slight wear. Text block has slight wear including faint, sparse finger marks to the edges. Illustrated. NOTE: Shelved in Column L.

  • Binding: Paperback

Found via Rare Books Intel, a search across rare-book dealers, auction houses and marketplaces worldwide.