|
|
| |
| |
| University of Waterloo - Universal algebra, logic, computers. |
 |
| Google PR |
|
| New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules of inference, axioms, etc. from convenient drop-down menus. Includes tutorial and exercises. |
 |
| Google PR |
|
| University of Cincinnati - satisfiability, first-order and temporal logic, computer science. |
 |
| Google PR |
|
| The study of computation beyond that defined by the Turing machine, also known as super-Turing, non-standard or non-recursive computation. Links to people, resources and discussions. |
 |
| Google PR |
|
| Basic material on proof theory and the home page of the only mailing list devoted to proof theory, with hundreds of experts. |
 |
| Google PR |
|
|
|
|
|
|
|
|
|
