<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-09-02 07:29:35Type theory Mathematical logic Logic Hierarchy Structure Reasoning Automated theorem proving Epistemology Inductive reasoning Nuprl Logic programming |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2015-09-02 07:29:35Type theory Mathematical logic Logic Hierarchy Structure Reasoning Automated theorem proving Epistemology Inductive reasoning Nuprl Logic programming |
Add to Reading List |
Nuprl's Inductive Logical Forms