Download Metamath book
Transcript
∼ Public Domain ∼ This book has been released into the Public Domain by Norman Megill on March 10, 2007, per the Creative Commons Public Domain Dedication (http://creativecommons.org/licenses/publicdomain/). The public domain release applies worldwide. In case this is not legally possible, the right is granted to use the work for any purpose, without any conditions, unless such conditions are required by law. Several short, attributed quotations from copyrighted works appear in this book under the “fair use” provision of Section 107 of the United States Copyright Act (Title 17 of the United States Code). The public-domain status of this book is not applicable to those quotations. Any trademarks used in this book are the property of their owners. ISBN: 978-1-4116-3724-5 Lulu Press Morrisville, North Carolina USA Norman Megill 19 Locke Lane, Lexington, MA 02420 E-mail address: [email protected] http://metamath.org