Difference between revisions of "MAT4423/MAT5443"
Jump to navigation
Jump to search
Jose.iovino (talk | contribs) (Created page with "'''Catalog description''' ''Prerequisites'': MAT 1214 and MAT 3013. ''Content'': Axiomatizations of propositional logic, axiomatizations of first-order logic, completeness...") |
(→Catalog entry: REDIRECITON LINK) Tag: New redirect |
||
(One intermediate revision by one other user not shown) | |||
Line 1: | Line 1: | ||
− | + | #REDIRECT[[MAT5443]] | |
− | |||
− | |||
− | |||
− |
Latest revision as of 09:22, 31 March 2023
Redirect to: