Skip to main content
Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top 400 Users
Digests
Dominic108
top
accounts
reputation
activity
subscriptions
Top Questions
15
votes
Is many sorted logic really a unifying logic?
logic
model-theory
proof-theory
type-theory
higher-order-logic
asked Oct 8, 2018 at 0:29
math.stackexchange.com
Top Answers
103
Can not install 'openjdk-9-jdk' because it tries to overwrite file aready included in 'openjdk-9-jdk-headless'
askubuntu.com
13
What is the probability that a point chosen randomly from inside an equilateral triangle is closer to the center than to any of the edges?
math.stackexchange.com
9
New alert keeps showing up: Server returned error NXDOMAIN, mitigating potential DNS violation DVE-2018-0001
askubuntu.com
Stack Exchange works best with JavaScript enabled
math.stackexchange.com
askubuntu.com