Stack Exchange
log in
users (33)
rooms (25)
faq
Carl Mummert
general
recent
conversations
Carl Mummert
chat user since
2011-10-03
last message
43d ago
last seen
43d ago
about
parent user
Carl Mummert
98.9k
14
251
425
745
30
Owner of these rooms
♦
Logic
This room is meant for discussion about logic, including foundations, deductive systems, proof theory, computability theory, model theory, ...
6h ago –
user21820
99
info
currently in rooms
frequently in rooms
Carl Mummert
