GVPL
Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for The joy of abstraction : an exploration of math, category theory, and life
The joy of abstraction : an exploration of math, category theory, and life
by 
Cheng, Eugenia, author.
Publication Date 
2023
Format: 
Books
Call Number 
510 CHE
Available: Holds: Copies:
2. 
Cover image for Journey to the edge of reason : the life of Kurt Gödel
Journey to the edge of reason : the life of Kurt Gödel
by 
Budiansky, Stephen, author.
Publication Date 
2021
Format: 
Books
Call Number 
925.1 GOD
Available: Holds: Copies:
3. 
Cover image for The art of logic in an illogical world
The art of logic in an illogical world
by 
Cheng, Eugenia, author.
Publication Date 
2018
Format: 
Books
Call Number 
160 CHE
Available: Holds: Copies:
4. 
Cover image for
Cross Reference Key 
251319
Authorized Subject Term 
Logic, Symbolic and mathematical
Cross Reference Format 
Topical Subject Term
5. 
Cover image for
Cross Reference Key 
461797
Authorized Subject Term 
Computer logic
Cross Reference Format 
Topical Subject Term
Cross Reference Use For 
Computer science logic
Cross Reference See Also 
Logic, Symbolic and mathematical
6. 
Cover image for
Cross Reference Key 
460891
Authorized Subject Term 
Machine theory
Cross Reference Format 
Topical Subject Term
Cross Reference Use For 
Abstract automata
Abstract machines
Automata
Mathematical machine theory
Cross Reference See Also 
Algorithms
Logic, Symbolic and mathematical
Recursive functions
Robotics
Limit Search Results
Branch
Added When
Format
Age Level
Fiction - Non-Fiction
Subject
Author
Language
Shelf Location
Material Type
Publication Date