<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-03-27 15:38:49Proof theory Logical syntax Logical consequence Metalogic Lambda calculus Sequent Theorem Model theory Proof calculus Logic Mathematics Science |
|
| First Page | Document Content | |
|---|---|---|
Date: 2012-03-27 15:38:49Proof theory Logical syntax Logical consequence Metalogic Lambda calculus Sequent Theorem Model theory Proof calculus Logic Mathematics Science |
|
The IMPS User’s Manual First Edition, Version 2 William M. Farmer Joshua D. Guttman F. Javier Thayer The MITRE Corporation