bn:02567555n
Noun Named Entity
Categories: Systems of formal logic, Mathematical logic stubs, Mathematics papers, Alan Turing, Mathematics literature stubs
EN
Systems of Logic Based on Ordinals
EN
Systems of Logic Based on Ordinals was the PhD dissertation of the mathematician Alan Turing. Wikipedia
Definitions
Relations
Sources
EN
Systems of Logic Based on Ordinals was the PhD dissertation of the mathematician Alan Turing. Wikipedia
AUTHOR
DISSERTATION SUBMITTED TO