GVPL
- Contact Us
- Branches & Hours
- Get a Library Card
- Visiting the Library FAQs
- Careers
- Borrowing, Renewing & Limits
- Programs & Contests
- Interlibrary Loan
- Suggest a Title
- All Digital Collections
- Books & Ebooks
- Magazines & Newspapers
- French & World Languages
- Emerging Local Authors Collection
- Kits for Adults & Kids
- Movies & TV
- Audiobooks
- Music
- Video Games
- Scavenger Hunts
- Research & Tools
- Help Using Digital Content
- Service Updates
- Donate
- Media Releases & Inquiries
- Library Board
- Library Policies
- Reports & Plans
- Website Privacy & Terms of Use
- 2024 Books to Gift
- Nellie McClung Branch Closing
- Tiny Stories 2024.Final
Cross Reference Key
Authorized Genre/Form Term
Cross Reference Format
Genre/Form
Cross Reference Use For
Logic grid puzzles
Logical puzzles
Logical puzzles
Cross Reference See Also
Cross Reference Key
Authorized Uniform Title
Cross Reference Format
Title
Cross Reference Key
Authorized Subject Term
Cross Reference Format
Topical Subject Term
Cross Reference Use For
Computer science logic
Cross Reference See Also
Cross Reference Key
Authorized Genre/Form Term
Cross Reference Format
Genre/Form
Cross Reference See Also
Cross Reference Key
Authorized Subject Term
Cross Reference Format
Topical Subject Term
Cross Reference Use For
Proof
Cross Reference See Also
Cross Reference Key
Authorized Subject Term
Cross Reference Format
Topical Subject Term
Cross Reference See Also
Cross Reference Key
Authorized Subject Term
Cross Reference Format
Topical Subject Term
Cross Reference Use For
Abstract automata
Abstract machines
Automata
Mathematical machine theory
Abstract machines
Automata
Mathematical machine theory
Cross Reference See Also