GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Steven Givant
URI:
https://gptkb.org/entity/Steven_Givant
GPTKB entity
Statements (17)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:coauthor
gptkb:Alfred_Tarski
gptkbp:doctoralAdvisor
gptkb:Alfred_Tarski
gptkbp:employer
gptkb:Mills_College
gptkbp:field
gptkb:mathematics
gptkb:set_theory
algebraic logic
relation algebras
https://www.w3.org/2000/01/rdf-schema#label
Steven Givant
gptkbp:nationality
gptkb:American
gptkbp:notableWork
gptkb:A_Course_in_Model_Theory
gptkb:Introduction_to_Boolean_Algebras
gptkb:Set_Theory_for_the_Working_Mathematician
gptkb:The_Calculus_of_Relations
gptkbp:occupation
gptkb:mathematician
gptkbp:bfsParent
gptkb:Tarski
gptkbp:bfsLayer
7