Daniel Joseph Dougherty, Jr.
Original record- Institution
- University of Maryland College Park
- Year
- 1982
- Country
- United States
- MGP identifier
- 38868
Dissertation: Resolution, Gentzen Systems and Literal Trees for Propositional Logic
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- James Claggett Owings, Jr.Cornell University · 1966
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Claudio Gutierrez | Wesleyan University | 1999 | 4 |
| Patricia Johann | Wesleyan University | 1991 | 1 |