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

Search Results  3 titles matched: Proof theory

Sort by: Select...NoneAuthorsMediaPublication Date DescendingTitlePublication Date Ascending    Limit by: Limits: --Coll: A-Biography --Coll: A-Closed Stacks --Coll: A-Fiction --Coll: A-Fic, Mystery --Coll: A-Fic, Sf --Coll: A-Fic, Western --Coll: A-Hawn Biography --Coll: A-Hawn Fiction --Coll: A-Hawn Nonfiction --Coll: A-Adult Literacy Fiction --Coll: A-Adult Literacy Nonfiction --Coll: A-LT Biography --Coll: A-LT Fiction --Coll: A-LT Nonfiction --Coll: A-New Book, Biography --Coll: A-New Book, Fiction --Coll: A-New Book, Nonfiction --Coll: A-Nonfiction --Coll: A-NF, Popular --Coll: A-Oversize, Fic, Bio --Coll: A-Oversize, Nonfiction --Coll: A-Reference --Coll: A-Ref, Closed Stacks --Coll: A-Ref, Desk --Coll: A-Ref, Hawaiian --Coll: A-Ref, Index --Coll: A-Ref, Oversize --Coll: A-Ref, Professional --Coll: Adult Uncat Paperback --Coll: A-Lang, Chinese --Coll: A-Lang, Hawaiian --Coll: A-Lang, Japanese --Coll: A-Lang, Korean --Coll: A-Lang, Other --Coll: A-Lang, Philippine --Coll: A-Lang, Vietnamese --Coll: Bestseller --Coll: Interlibrary Loan --Coll: J-Default *Do not use --Coll: J-Award --Coll: J-Biography --Coll: J-Closed Stacks --Coll: J-Easy --Coll: J-Easy ABC/123 --Coll: J-Easy Award --Coll: J-Easy Closed Stacks --Coll: J-Easy Holiday --Coll: J-Easy New Book --Coll: J-Easy Oversize --Coll: J-Easy Popular --Coll: J-Easy Reader --Coll: J-Fiction --Coll: J-Fic, Popular --Coll: J-Hawn Biography --Coll: J-Hawn Easy --Coll: J-Hawn Fiction --Coll: J-Hawn Nonfiction --Coll: J-Holiday --Coll: J-Large Type --Coll: J-Nene Award --Coll: J-New Book, Biography --Coll: J-New Book, Fiction --Coll: J-New Book, Nonfiction --Coll: J-Nonfiction --Coll: J-NF, Popular --Coll: J-Oversize, Fic, Bio --Coll: J-Oversize NF --Coll: J-Parent Shelf --Coll: J-Reference --Coll: J-Ref, Closed Stacks --Coll: J-Ref, Desk --Coll: J-Ref, Easy --Coll: J-Ref, Easy Closed Stacks --Coll: J-Ref, Easy Desk --Coll: J-Ref, Easy Oversize --Coll: J-Ref, Easy Professional --Coll: J-Ref, Hawaiian --Coll: J-Ref, Hawn Easy --Coll: J-Ref, Oversize --Coll: J-Ref Professional --Coll: J Uncat Paperback --Coll: J-Lang, Chinese --Coll: J-Lang, Hawaiian --Coll: J-Lang, Japanese --Coll: J-Lang, Korean --Coll: J-Lang, Other --Coll: J-Lang, Other --Coll: OHS AMR, Nonfiction --Coll: OHS AMR, Music/Scores --Coll: OHS AMR, Music Oversize --Coll: OHS AMR, Oversize --Coll: OHS AMR, Reference --Coll: OHS AMR, Ref Desk --Coll: OHS AMR, Ref Desk Music --Coll: OHS AMR, Ref Music --Coll: OHS AMR, Ref Oversize --Coll: OHS BST, Nonfiction --Coll: OHS Bestseller --Coll: OHS BST, Oversize --Coll: OHS BST, Reference --Coll: OHS BST, Ref Desk --Coll: OHS BST, Ref Oversize --Coll: OHS BST, Ref Special --Coll: OHS Fed, Reference --Coll: OHS Fed, Ref Desk --Coll: OHS H&P, Biography --Coll: OHS H&P, Fiction --Coll: OHS H&P, Lang --Coll: OHS H&P, Nonfiction --Coll: OHS H&P, Oversize Fic & Bio --Coll: OHS H&P, Oversize NF --Coll: OHS H&P, Ref Biography --Coll: OHS H&P, Ref Closed Stacks --Coll: OHS H&P, Ref Desk --Coll: OHS H&P, Ref Fiction --Coll: OHS H&P, Ref Nonfiction --Coll: OHS H&P, Ref Oversize --Coll: OHS H&P, Ref Reading Room --Coll: OHS Interlibrary Loan --Coll: OHS J-Award --Coll: OHS J-Bio --Coll: OHS J-Easy --Coll: OHS J-Easy ABC/123 --Coll: OHS J-Easy Award --Coll: OHS J-Easy Closed Stacks --Coll: OHS J-Easy Holiday --Coll: OHS J-Easy New Book --Coll: OHS J-Easy Oversize --Coll: OHS J-Easy Reader --Coll: OHS J-Fiction --Coll: OHS J-Hawn Biography --Coll: OHS J-Hawn Easy --Coll: OHS J-Hawn Fiction --Coll: OHS J-Hawn Nonfiction --Coll: OHS J-Holiday --Coll: OHS J-Nene Award --Coll: OHS J-New Book, Biography --Coll: OHS J-New Book, Fiction --Coll: OHS J-New Book, Nonfiction --Coll: OHS J-Nonfiction --Coll: OHS J-Oversize NF --Coll: OHS J-Ref --Coll: OHS J-Ref, Desk --Coll: OHS J-Ref, Easy Memorial --Coll: OHS J-Ref, Easy Oversize --Coll: OHS J-Ref, Easy Professional --Coll: OHS J-Ref, Easy Closed Stacks --Coll: OHS J-Ref, Hawaiian --Coll: OHS J-Ref, Hawn Easy --Coll: OHS J-Ref, Memorial --Coll: OHS J-Ref, Oversize --Coll: OHS J-Ref, Professional --Coll: OHS J-Ref, Closed Stacks --Coll: OHS J-Closed Stacks --Coll: OHS J-AV Book/Tape Kit --Coll: OHS J-Lang, Asian --Coll: OHS J-Lang, Hawaiian --Coll: OHS J-Lang, Other --Coll: OHS J-E Lang, Asian --Coll: OHS J-E Lang, Other --Coll: OHS LLH, Nonfiction --Coll: OHS LLH, Biography --Coll: OHS LLH, Cassette --Coll: OHS LLH, Closed Stacks --Coll: OHS LLH A-Fiction --Coll: OHS LLH A-Fic, Mystery --Coll: OHS LLH A-Fic, SF --Coll: OHS LLH A-Fic Western --Coll: OHS LLH Reference --Coll: OHS LLH, Ref Biography --Coll: OHS LLH, Ref Closed Stacks --Coll: OHS LLH, Ref Desk --Coll: OHS LLH, Ref Desk Genealogy --Coll: OHS LLH, Ref Genealogy --Coll: OHS LLH, Ref Nonfiction --Coll: OHS LLH, Ref Oversize --Coll: OHS LLH, Ref Professional --Coll: OHS LLH, Oversize --Coll: OHS A-LT Biography --Coll: OHS A-LT Fiction --Coll: OHS A-LT Nonfiction --Coll: OHS LLH Chinese --Coll: OHS LLH French --Coll: OHS LLH German --Coll: OHS LLH Japanese --Coll: OHS LLH Korean --Coll: OHS LLH Lang, Other --Coll: OHS LLH Philippine --Coll: OHS LLH Spanish --Coll: OHS LLH Vietnamese --Coll: OHS A-New Book, Fiction --Coll: OHS A-New Book, Nonfiction --Coll: OHS Ser, Nonfiction --Coll: OHS Ser, Reference --Coll: OHS Ser, Ref Desk --Coll: OHS SSP, Nonfiction --Coll: OHS SSP, Oversize --Coll: OHS SSP, Reference --Coll: OHS SSP, Ref Desk --Coll: OHS SSP, Ref Oversize --Coll: OHS Tel Ref Professional --Coll: OHS Cassette --Coll: OHS Cassette, Ref --Coll: OHS Compact Disc --Coll: OHS Compact Disc, Ref --Coll: OHS CD Rom --Coll: OHS DVD, Fiction --Coll: OHS DVD, Juv Fiction --Coll: OHS DVD, Juv Nonfiction --Coll: OHS DVD, Nonfiction --Coll: OHS Miscellaneous AV --Coll: OHS Phonodisc --Coll: OHS Phonodisc, Ref --Coll: OHS Video, Fiction --Coll: OHS Video, Juvenile Fiction --Coll: OHS Video, Juvenile Nonfiction --Coll: OHS Video, Nonfiction --Coll: OHS Y-Biography --Coll: OHS Y-Booktalk --Coll: OHS Y-Fiction --Coll: OHS Y-Fic, M --Coll: OHS Y-Fic, SF --Coll: OHS Y-Hawn Biography --Coll: OHS Y-Hawn Fiction --Coll: OHS Y-Hawn Nonfiction --Coll: OHS Y-New Book, Fiction --Coll: OHS Y-New Book, Nonfiction --Coll: OHS Y-Nonfiction --Coll: OHS Y-Oversize, Fic and Bio --Coll: OHS Y-Oversize, NF --Coll: OHS Y-Ref --Coll: OHS Y-Ref, Closed Stacks --Coll: OHS Y-Ref, Desk --Coll: OHS Y-Ref, Hawaiian --Coll: OHS Y-Ref, Oversize --Coll: OHS Conversion Item --Coll: OHS On Order --Coll: OHS VT, Free *Do not use --Coll: OHS VT, J-Free *Do not use --Coll: OHS VT, Rental *Do not use --Coll: OHS VT, J-Rent *Do not use --Coll: OHS Default *Do not use --Coll: Pamphlets Uncataloged --Coll: Periodicals Uncataloged --Coll: Pictures Uncataloged --Coll: Cassette --Coll: Compact Disc --Coll: CD Rom --Coll: DVD, Fiction --Coll: DVD, Juvenile Fiction --Coll: DVD, Juvenile Nonfiction --Coll: DVD, Nonfiction --Coll: Microfiche/microfilm --Coll: Miscellaneous AV --Coll: Phonodisc --Coll: Software --Coll: Video, Fiction --Coll: Video, Juvenile Fiction --Coll: Video, Juvenile Nonfiction --Coll: Video, Nonfiction --Coll: Y-Conversion Item --Coll: Y-Biography --Coll: Y-Booktalk --Coll: Y-Closed Stacks --Coll: Y-Fiction --Coll: Y-Fic, Mystery --Coll: Y-Fic, Popular --Coll: Y-Fic, SF --Coll: Y-Hawn Biograpy --Coll: Y-Hawn Fiction --Coll: Y-Hawn Nonfiction --Coll: Y-New Book Biography --Coll: Y-New Book, Fiction --Coll: Y-New Book, Nonfiction --Coll: Y-Nonfiction --Coll: Y-Nonfiction, Popular --Coll: Y-Oversize, Fic, Bio --Coll: Y-Oversize Nonfiction --Coll: Y-Reference --Coll: Y-Ref, Closed Stacks --Coll: Y-Ref, Desk --Coll: Y-Ref, Hawaiian --Coll: Y-Ref, Oversize --Coll: Y-Ref, Professional --Coll: Ya Uncat Paperback --Coll: Conversion Item --Coll: Reference *Do not use --Coll: Storage *Do not use --Coll: VT, Free *Do not use --Coll: VT, J-Free *Do not use --Coll: VT, Rental *Do not use --Coll: VT, J-Rent *Do not use --Lang: Arabic --Lang: Bengali --Lang: Chinese --Lang: Czech --Lang: Dutch --Lang: English --Lang: French --Lang: German --Lang: Hebrew --Lang: Hindi --Lang: Italian --Lang: Japanese --Lang: Kannada --Lang: Korean --Lang: Latin --Lang: Polish --Lang: Portuguese --Lang: Russian --Lang: Sanskrit --Lang: Spanish --Lang: Swedish --Lang: Tamil --Lang: Urdu --Lang: Yiddish --Loc: Hawaii State Librarians Office --Loc: Kailua-kona Bookmobile --Loc: Hilo Public Library --Loc: Holualoa Public Library --Loc: Honokaa Public Library --Loc: Kailua-Kona Public Library --Loc: Keaau Public School --Loc: Kealakekua Public Library --Loc: Laupahoehoe Public & School --Loc: Mountain View Public & School --Loc: Naalehu Public Library --Loc: North Kohala Library --Loc: Pahala Public & School Library --Loc: Pahoa Public & School --Loc: Thelma Parker Memorial Public --Loc: Lihue Bookmobile --Loc: Hanapepe Public Library --Loc: Kapaa Public Library --Loc: Koloa Public & School --Loc: Lihue Public Library --Loc: Princeville Public Library --Loc: Waimea Public Library --Loc: Molokai Bookmobile --Loc: Wailuku Bookmobile --Loc: Hana Public & School --Loc: Kahului Public Library --Loc: Kihei Public Library --Loc: Lahaina Public Library --Loc: Lanai Public & School --Loc: Makawao Public Library --Loc: Molokai Public Library --Loc: Wailuku Public Library --Loc: Aiea Public Library --Loc: Aina Haina Public Library --Loc: Kaneohe Bookmobile --Loc: Pearl City Bookmobile --Loc: Ewa Beach Public & School --Loc: Hawaii Kai Public Library --Loc: Hawaii State Library --Loc: Kahuku Public & School --Loc: Kailua Public --Loc: Kaimuki Public --Loc: Kalihi-palama Public --Loc: Kaneohe Public Library --Loc: Kapolei Public Library --Loc: Library For The Blind & Physically Handicapped --Loc: Liliha Public Library --Loc: Manoa Public Library --Loc: Mccully-moiliili Public Library --Loc: Mililani Public Library --Loc: Nanakuli Public Library --Loc: Pearl City Public Library --Loc: Salt Lake-moanalua Public Library --Loc: Wahiawa Public Library --Loc: Waialua Public Library --Loc: Waianae Public Library --Loc: Waikiki-kapahulu Public Library --Loc: Waimanalo Public & School Library --Loc: Waipahu Public Library --Loc: Technical Services Section --Media: Text (print, electronic, microform) --Media: Archives and manuscripts --Media: Printed music --Media: Manuscript music --Media: Printed maps --Media: Manuscript maps --Media: Videos, DVDs, films, slides, etc. --Media: Nonmusical sound recordings --Media: Musical sound recordings --Media: Photos, prints, charts, etc. --Media: Software, data files, etc.

 

---

1. Incompleteness : the proof and paradox of Kurt Gödel / Rebecca Goldstein. by Goldstein, Rebecca, 1950- New York : W.W. Norton, c2005. Location Collection Call No. Status Due Date Hawaii State Library Business, Science & Technology 510.92 Gödel Go Checked In   Hilo Public Library Adult Biography B Gödel Go Checked In           2. Mathematical thinking and writing : a transition to abstract mathematics / Randall B. Maddox. by Maddox, Randall B. San Diego, Calif. : Academic Press, c2002. Location Collection Call No. Status Due Date Hawaii State Library Business, Science & Technology 511.3 Ma Checked In           3. The meaning of proofs : mathematics as storytelling / Gabriele Lolli ; translated by Bonnie McClellan-Broussard ; foreword by Matilde Marcolli. by Lolli, Gabriele, 1942- author. Cambridge, Massachusetts : The MIT Press, [2022] Location Collection Call No. Status Due Date Hawaii State Library Business, Science & Technology 511.36 Lo Checked In

Add/Remove MyList (max=100, ie. 1,2 5-20)

Horizon Information Portal 3.25_9884

© 2001-2013 SirsiDynix All rights reserved.