Showing 1–1 of 1 editor-approved links.
A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available.