Klao comments on Proofs, Implications, and Models - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (209)
In Hungary this (model theory and co.) is part of the standard curriculum for Mathematics BSc. Or at least was in my time.