Models, Algebras, and ProofsUnknown authors라이브러리에 저장컬렉션에 추가202150 citationsDOITopics & ConceptsMathematical proofMathematicsComputer scienceCalculus (dental)MedicineGeometryDentistryLogic, programming, and type systems