<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-01-28 11:35:50Metalogic Model theory Predicate logic Structure Free variables and bound variables FO Arity Mathematics Universal algebra Mathematical logic |
|
| First Page | Document Content | |
|---|---|---|
Date: 2011-01-28 11:35:50Metalogic Model theory Predicate logic Structure Free variables and bound variables FO Arity Mathematics Universal algebra Mathematical logic |
|
Binding Logi
: proofs and models Gilles Dowek1 , Therese Hardin2 , and Claude Kir
hner3 1 3