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 Users
Digests
manmatteo
top
accounts
reputation
activity
bookmarks
subscriptions
Top Questions
7
votes
Pure first order logic formulations of Markov's principle
reference-request
proof-theory
constructive-mathematics
type-theory
intuitionism
asked Nov 28, 2016 at 15:09
mathoverflow.net
Top Answers
No answers with score of 5 or more
Stack Exchange works best with JavaScript enabled
mathoverflow.net