Library Home || Full Table of Contents || Library Help
|This page contains a collection of logical laws of the first-order logic. The collection is based on Kleene's collection (from his books 'Introduction to Metamathematics' and 'Mathematical Logic') and contains a few additions. The laws holding in classical logic but not in intuitionistic logic are marked as such.|
|Resource Types:||Reference Sources|
© 1994- The Math Forum at NCTM. All rights reserved.