HSPLS site	Login My List - 0 Help
	Search   My Account   Databases   HI Newspaper   eBooks/Audiobooks   Learning   PC Reservation   Reading Program

Basic Advanced Power History

Search:  Title BrowseAuthor BrowseSubject BrowseBest Seller BrowseMusic Title BrowseVideo/DVD Title BrowseJournal/Newspaper Title BrowseSerial Title BrowseSeries Browse (includes Bestseller List)General KeywordTitle KeywordAuthor KeywordSubject KeywordName KeywordSeries KeywordScore Title BrowseTalking Book Title BrowseAwards Note BrowseBib No.Barcode       Refine Search     > You're searching: HAWAII STATE PUBLIC LIBRARY SYSTEM

Item Information   Holdings     Summary     More Content       More by this author     Velleman, Daniel J., author.     Subjects     Logic, Symbolic and mathematical -- Textbooks.     Mathematics -- Textbooks.     Proof theory -- Textbooks.     Browse Catalog     by author:      Velleman, Daniel J., author.       by title:      How to prove it : a ...         MARC Display

How to prove it : a structured approach / Daniel J. Velleman. by Velleman, Daniel J., author. Cambridge : Cambridge University Press, 2019. Subjects Logic, Symbolic and mathematical -- Textbooks.   Mathematics -- Textbooks.   Proof theory -- Textbooks. ISBN:  9781108424189 (hardback : alk. paper) 9781108439534 (pbk. : alk. paper) Description:  xii, 458 pages : illustrations (black and white) ; 23 cm Edition:  Third edition. Contents:  Introduction -- Sentential logic -- Quantificational logic -- Proofs -- Relations -- Functions -- Mathematical induction -- Number theory -- Infinite sets -- Appendix. Requests:  0   Copy/Holding information Location Collection Call No. Status   Aina Haina Public Library Adult Nonfiction 511.3 Ve Checked In Add Copy to MyList Hawaii State Library Business, Science & Technology 511.3 Ve Checked In Add Copy to MyList Hilo Public Library Adult Nonfiction 511.3 Velleman Checked In Add Copy to MyList Kailua Public Library Adult Nonfiction 511.2 Ve Checked In Add Copy to MyList Kailua-Kona Public Library Adult Nonfiction 511.3 Ve Checked In Add Copy to MyList

Horizon Information Portal 3.25_9884

© 2001-2013 SirsiDynix All rights reserved.