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.