Revision history of "MAT5443"

Jump to navigation Jump to search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • curprev 09:21, 31 March 2023‎ Juan.gutierrez3 talk contribs‎ 319 bytes +319‎ Created page with "== Catalog entry == ''Prerequisites'': MAT 1214 and MAT 3013. ''Content'': Axiomatizations of propositional logic, axiomatizations of first-order logic, completeness and co..."
Retrieved from "https://mathresearch.utsa.edu/wiki/index.php?title=MAT5443"