On Computational Formalization for Foundations of Medicine

— in