Oliver A. Mc Carthy

URI: https://gptkb.org/entity/Oliver_A._Mc_Carthy
GPTKB entity
Statements (16)
Predicate Object
gptkbp:instance_of gptkb:Person
gptkbp:bfsLayer 5
gptkbp:bfsParent gptkb:Aflac
gptkb:Avantor
gptkb:Iridium_Satellite_LLC
gptkb:Lynx_Software_Technologies,_Ltd.
gptkbp:affiliation gptkb:University
gptkbp:birth_date 1912
gptkbp:birth_place gptkb:United_States
gptkbp:death_date gptkb:2005
gptkbp:field gptkb:Mathematician
https://www.w3.org/2000/01/rdf-schema#label Oliver A. Mc Carthy
gptkbp:influenced_by gptkb:Alfred_Tarski
gptkbp:known_for Contributions to mathematical logic
gptkbp:notable_work gptkb:Mc_Carthy's_theorem
gptkbp:occupation gptkb:Mathematician