top | item 43979622 (no title) bmc7505 | 9 months ago The correct way to do this is with finite model theory but we're not there yet. discuss order hn newest No comments yet.
No comments yet.