<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-10-04 11:36:25Logical consequence Logical syntax Metalogic Ordinal arithmetic Curry–Howard correspondence Logic Deduction Entailment |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2012-10-04 11:36:25Logical consequence Logical syntax Metalogic Ordinal arithmetic Curry–Howard correspondence Logic Deduction Entailment |
Add to Reading List |
Finding Endogenously Formed Communities Maria-Florina Balcan∗