Dosya ismi: Jon Sterling Objective Metatheory Of Dependent Type Theories

Dosya boyutu: Free MB

Önerilen format: MP4

İndirildi: 6930911