<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-07-20 20:16:54Model theory Structure Universal algebra Computability theory Theory of computation Combinatorial species Symbol Interpretation Μ operator Mathematics Mathematical logic Logic |
|
Research Visit at the University of Illinois at Urbana-Champaign: End Report Felix Schernhammer January 25, [removed]