who is known for are mathematical logic and philosophy of mathematics ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_knownFor dbr_Mathematical_logic sep_dot var_uri dbo_knownFor dbr_Philosophy_of_mathematics brack_close