Computing
Computer science
Mathematics
Project-independent assessment
Reviewed by:
Sphilbrick
Permalink
Edit summary: →History: merged content from Automated proof checking following a merge proposal. For the full discussion which led to the merge, please see the articles' talk pages. Please see the source page's history for attribution. I didn't add additional content (just reorganised it), but the target section may need to be cleaned up.
Tags:
Visual edit
100% of edit
https://www.scribd.com/document/275433648/Mathematical-Logic-3
Article
Loading article revision...
Source
Loading possible copyvio source...