This profile currently does not have any publications associated with it.
Areas of Specialization
2 more
| Computer Proof |
| Science, Logic, and Mathematics |
| Mathematical Proof, Misc |
| Value Theory |
| Undecidability |
| Logic and Philosophy of Logic |
| Analysis |