<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-08-06 17:30:04Logical consequence Metalogic Philosophical logic Logic Deduction Entailment |
|
| First Page | Document Content | |
|---|---|---|
Date: 2013-08-06 17:30:04Logical consequence Metalogic Philosophical logic Logic Deduction Entailment |
|
System FC with Explicit Kind Equality Stephanie Weirich