Andrew John Ylvisaker
Original record- Institution
- Iowa State University
- Year
- 2012
- Country
- United States
- MGP identifier
- 166046
Dissertation: A formalization of logic in diagonal-free cylindric algebras
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Roger Duncan MadduxUniversity of California, Berkeley · 1978
Students 0
No students recorded in this snapshot.