Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Tero Eljas Tulenheimo

Original record
Institution
Helsingin yliopisto
Year
2004
Country
Finland
MGP identifier
93990

Dissertation: Independence-Friendly Modal Logic. Studies in its Expressive Power and Theoretical Relevance

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisors 2

Students 0

No students recorded in this snapshot.

Genealogy